Het boek is momenteel niet op voorraad
Meer over het boek
Presents a broad topic of automated deductive reasoning in a concise and comprehensive way. Features include extensive references and exercises. This book contains a comprehensive collection of different deduction mechanisms.
Een boek kopen
Deduction, Wolfgang Bibel
- Taal
- Jaar van publicatie
- 1993
- product-detail.submit-box.info.binding
- (Hardcover)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.