ricardo caferra
Logic for Computer Science and Artificial Intelligence
EbookSofort lieferbarLogic and its components (propositional, first-order,non-classical) play a key role in Computer S...
Logic for Computer Science and Artificial Intelligence
EbookSofort lieferbarLogic and its components (propositional, first-order,non-classical) play a key role in Computer S...
Automated Deduction in Classical and Non-Classical Logics
EbookSofort lieferbarThis volume presents a collection of thoroughly reviewed revised full papers on automated deducti...
Automated Model Building
EbookSofort lieferbarOn the history of the book: In the early 1990s several new methods and perspectives in au- mated ...
Automated Model Building
TaschenbuchBezug 11-15On the history of the book: In the early 1990s several new methods and perspectives in au- mated ...
Automated Deduction in Classical and Non-Classical Logics
TaschenbuchBezug 11-15Thisvolumeisacollectionofpapers onautomateddeduction inclassical,modal, and many-valued logics, w...
- 1