Automated Deduction in Classical and Non-Classical LogicsRicardo Caferra

Automated Deduction in Classical and Non-Classical Logics

Ricardo Caferra, Gernot Salzer · 2003

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2003
Language: English
Publisher: Springer
Editions: 1
ISBN: 9783540465089

Data source: Wikidata

More by Ricardo Caferra

Automated Model BuildingRicardo Caferra

Automated Model Building

Ricardo Caferra · 2004

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