Войти
Нет соединения — показаны сохранённые данные

Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications

Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications

Armin Biere

Войти и добавить на полку

Назад на полку

Похожие книги

Leadership
Leadership
James G. Hunt
 Cladistics
Cladistics
Workshop on the Theory and Application of Cladistic Methodology (1981 University of California, Berkeley)
 The Renaissance
The Renaissance
Symposium on the Renaissance (1959 University of Wisconsin--Milwaukee)
 Composite materials
Composite materials
Roderick H. Martin
 Mathematical Programming
Mathematical Programming
Masao Iri
 Nuclear structure
Nuclear structure
International Symposium on Nuclear Structure Dubna, Russia (Moscow Province) 1968.