2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Variational Methods for Crystalline Microstructure - Analysis and Computation
Автор:
Georg Dolzmann
Размер книги: 2.61 Mb
Dolzmann, Sturm, Weispfenning. Real quantifier elimination in practice, survey (TR MIP-9720, 1997)(25s).ps.gz
Автор:
Размер книги: 121 Kb
Dolzmann. Simplification of quantifier-free formulae. JSC 1997(T)(24s).djvu
Автор:
Размер книги: 170 Kb
Dolzmann. Local quantifier elimination(9s).pdf
Автор:
Размер книги: 181 Kb
Dolzmann, Sturm, Weispfenning. Real quantifier elimination in practice, survey (TR MIP-9720, 1997)(25s).p.gz
Автор:
Размер книги: 121 Kb
Dolzmann. Simplification of quantifier-free formulae. JSC 1997(24s).djvu
Автор:
Размер книги: 161 Kb
Dolzmann. Local quantifier elimination(9s).pdf
Автор:
Размер книги: 181 Kb
Local quantifier elimination
Автор:
Dolzmann.
Категория:
Papers
,
Computer algebra
,
Quantifier elimination
Размер книги: 181 Kb
Simplification of quantifier-free formulae. JSC 1997
Автор:
Dolzmann.
Категория:
Papers
,
Computer algebra
,
Quantifier elimination
Размер книги: 170 Kb
Real quantifier elimination in practice, survey
Автор:
Dolzmann
, Автор:
Sturm
, Автор:
Weispfenning.
Категория:
Papers
,
Computer algebra
,
Real alg. geometry
,
CAD
Размер книги: 121 Kb
Variational Methods for Crystalline Microstructure - Analysis and Computation
Автор:
Georg Dolzmann
Размер книги: 1.76 Mb
Variational Methods for Crystalline Microstructure - Analysis and Computation
Автор:
Georg Dolzmann
Категория:
Lecture notes
Размер книги: 1.10 Mb
Variational methods for crystalline microstructure: analysis and computation
Автор:
Georg Dolzmann
Размер книги: 1.15 Mb
Variational Methods for Crystalline Microstructure - Analysis and Computation
Автор:
Georg Dolzmann
Размер книги: 1.09 Mb