EUR 197,26
Quantità: Più di 20 disponibili
Aggiungi al carrelloHardcover. Condizione: New.
EUR 219,55
Quantità: 3 disponibili
Aggiungi al carrelloCondizione: 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.
EUR 227,18
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 247,29
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 239,59
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Condizione: New. pp. 1188.
EUR 258,13
Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 1188.
hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
EUR 260,15
Quantità: Più di 20 disponibili
Aggiungi al carrelloGebunden. Condizione: New. 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.Pa.
EUR 328,73
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 319,28
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
EUR 359,36
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 225,80
Quantità: 2 disponibili
Aggiungi al carrelloBuch. 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.
Da: Revaluation Books, Exeter, Regno Unito
EUR 230,19
Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches. In Stock. This item is printed on demand.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 249,22
Quantità: 2 disponibili
Aggiungi al carrelloBuch. 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.
Editore: North Holland
ISBN 10: 0444508120 ISBN 13: 9780444508126
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 215,39
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.