Handbook of Automated Reasoning. Vol.1. Questo articolo non è disponibile.
Lingua: inglese
Editore: Elsevier Science, 2001
- Rilegato
- Nuovo
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Venditore con 5 stelle
Venditore AbeBooks dal 11 gennaio 2012
Non disponibile
Rilegato
Condizione: Nuovo
EUR 265,30
Descrizione dell’articolo da parte del venditore
This item is printed on demand - it takes 3-4 days longer - Neuware -This first volume of the 'Handbook of Automated Reasoning' includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods. Englisch.
Codice articolo 9780444829498
- Titolo
- Handbook of Automated Reasoning. Vol.1
- Autore
- Alan Robinson
- Editore
- Elsevier Science
- Anno di pubblicazione
- 2001
- Condizione
- Neu
- Rilegatura
- Buch
- Lingua
- inglese
- ISBN 10
- 0444829490
- ISBN 13
- 9780444829498
- Peso dell'articolo
- 1970 grammi
- Dimensioni
- 240x168x49 mm
This first volume of the "Handbook of Automated Reasoning" includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Sinossi
Book by None
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.