Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Deduction, Wolfgang Bibel
- Lingua
- Pubblicato
- 1993
- product-detail.submit-box.info.binding
- (Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.