Automated Model BuildingRicardo Caferra

Automated Model Building
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2004
- Language
- English
- Publisher
- Springer
- Editions
- 2
- Pages
- 344
- ISBN
- 9781402026522
Data source: Wikidata
More by Ricardo Caferra
Logic for Computer Science and Artificial IntelligenceRicardo Caferra
Logic for Computer Science and Artificial Intelligence
Ricardo Caferra · 2013
Automated Model BuildingRicardo Caferra

Automated Model Building
Ricardo Caferra · 2010
Automated Deduction in Classical and Non-Classical LogicsRicardo Caferra
Automated Deduction in Classical and Non-Classical Logics
Ricardo Caferra · 2003