Handbook of Automated Reasoning,Set

Handbook of Automated Reasoning,Set
Автор
 
Год
 
Страниц
 
2128
ISBN
 
9780444508133
Категория
 
Elsevier - Academic Press

Описание:

Handbook of Automated Reasoning,Set

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

Automated ReasoningAutomated Reasoning
Автор: Basin D.(Ed), Rusinowitch M. (Ed)
Год: 2004
Automated deduction in multiple-valued logicsAutomated deduction in multiple-valued logics
Автор: Reiner Hähnle
Год: 1994