Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)
Robinson, J. A. (Editor)/ Robinson, Alan/ Voronkov, Andrei (Editor)
ISBN 10: 0444508120 ISBN 13: 9780444508126
Editore: North-Holland, 2001
Nuovi
Hardcover
Da
Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 6 gennaio 2003
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
1st edition. 2122 pages. 9.50x6.75x2.00 inches. In Stock. This item is printed on demand. Codice articolo __0444508120
Riassunto:
Handbook of Automated Reasoning - Vol 2
Product Description: Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Handbook of Automated Reasoning : Volume II ...
Casa editrice: North-Holland
Data di pubblicazione: 2001
Legatura: Hardcover
Condizione: Brand New