Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
Deduction, Wolfgang Bibel
- Langue
- Année de publication
- 1993
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .