Articoli correlati a Handbook of Automated Reasoning: 002
Sinossi
This second volume of "Handbook of Automated Reasoning" covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 199,16
EUR 23,17 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costi
Risultati della ricerca per Handbook of Automated Reasoning: 002
Foto dell'editore
Handbook of Automated Reasoning
Editore:
ELSEVIER SCIENCE & TECHNOLOGY, 2001
ISBN 10: 0444508120
ISBN 13: 9780444508126
Antico o usato
Rilegato
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 1188 | Sprache: Englisch | Produktart: Bücher. Codice articolo 2037895/2
Quantità: 1 disponibili
Foto dell'editore
Handbook of Automated Reasoning: Volume II
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. Codice articolo 6666-ELS-9780444508126
Quantità: Più di 20 disponibili
Foto dell'editore
Handbook of Automated Reasoning
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 1188 69:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Case Laminate on White w/Gloss Lam. Codice articolo 8361741
Quantità: 3 disponibili
Immagini fornite dal venditore
Handbook of Automated Reasoning. Vol.2
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This second volume of 'Handbook of Automated Reasoning' covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics. Englisch. Codice articolo 9780444508126
Quantità: 2 disponibili
Foto dell'editore
Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches. In Stock. Codice articolo __0444508120
Quantità: 2 disponibili
Immagini fornite dal venditore
Handbook of Automated Reasoning
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 684527-n
Quantità: Più di 20 disponibili
Foto dell'editore
Handbook of Automated Reasoning (Volume II)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780444508126_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Handbook of Automated Reasoning. Vol.2
Print on DemandDa: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This second volume of 'Handbook of Automated Reasoning' covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics. Codice articolo 9780444508126
Quantità: 2 disponibili
Foto dell'editore
Handbook of Automated Reasoning
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 1188. Codice articolo 26534738
Quantità: 3 disponibili
Immagini fornite dal venditore
Handbook of Automated Reasoning
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 684527-n
Quantità: Più di 20 disponibili