Verlag: ELSEVIER SCIENCE & TECHNOLOGY, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 172,42
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 1188 | Sprache: Englisch | Produktart: Bücher.
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
EUR 196,15
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
EUR 191,95
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 197,08
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbHardcover. Zustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 213,45
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
EUR 201,77
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Verlag: ELSEVIER SCIENCE & TECHNOLOGY, 2001
ISBN 10: 0444829490 ISBN 13: 9780444829498
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 216,74
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 996 | Sprache: Englisch | Produktart: Bücher.
EUR 225,57
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. 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.Part I. History 1. The Early History o.
EUR 137,84
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: 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!
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 229,97
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches. In Stock.
EUR 230,23
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
EUR 230,01
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
EUR 230,42
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 248,01
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
EUR 246,33
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
EUR 260,15
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: 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 200,00
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: VeryGood. This book is hardcover. Fast Shipping - Safe and Secure - Ships from Utah!
Verlag: Elsevier Science and Technology, US, 2001
ISBN 10: 0444829490 ISBN 13: 9780444829498
Sprache: Englisch
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
EUR 285,02
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbHardback. Zustand: New.
Verlag: Elsevier Science and Technology, US, 2001
ISBN 10: 0444829490 ISBN 13: 9780444829498
Sprache: Englisch
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
EUR 300,98
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbHardback. Zustand: New.
EUR 249,12
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
EUR 328,42
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 318,98
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Like New. Like New. book.
EUR 355,74
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
EUR 381,75
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 2128.
EUR 399,51
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 2128.
EUR 411,84
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 2128.
EUR 409,29
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. Very Good. SHIPS FROM MULTIPLE LOCATIONS. book.
EUR 894,33
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Like New. Like New. book.
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
EUR 170,00
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. 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. 996 pp. Englisch.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 176,09
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.