L nolin (22 Ergebnisse)

Broschiert. Zustand: Gut. 310 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Einband folienkaschiert. Sprache: Englisch Gewicht in Gramm: 610.…

Broschiert. Zustand: Gut. 310 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 590. …

Paperback. Zustand: Brand New. original edition. 320 pages. 8.50x5.75x1.00 inches. In Stock.

Hardcover. Zustand: Very Good. 11. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.

Taschenbuch. Zustand: Gut. 320 Seiten 1970. Einband etwas berieben, sonst sauber und gut. No shipping to other EU countries due to the EU Packaging and Packaging Waste Regulation (PPWR), which entered into force on August 12, 2026. Sprache: Englisch.

Zustand: New. In English.

Broché. Zustand: Etat satisfaisant. in-8 Description :76, XX pp. Couverture frottée, avec une note au bic. Quelques soulignements et notes au crayon de bois. Langue : Français Nb de volumes : 1.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Allocution d'ouverture.- Presentation d'un langage de formalisation des demonstrations mathematiques naturelles.- The mathematical language AUTOMATH, its usage, and some of its extensions.- Proof theory and the accuracy of computations.- Aspects du Theoreme de completude selon Herbrand.- Decision procedure for theories categorical in Alefo.- On the long-range prospects of automatic theorem-proving.- The case for using equality axioms in automatic demonstration.- Hilbert's programme and the search for automatic proof procedures.- A linear format for resolution.- Refinement theorems in resolution theory.- Definitional approach to automatic demonstration.- Heuristic interest of using metatheorems.- A proof procedure with matrix reduction.- Axiom systems in automatic theorem proving.- Constructive validity.- Paramodulation and set of support.…

Hardcover. Zustand: Very Good. 12. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Zustand: NEW.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 2672 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: New. In English.

Zustand: New. &Uumlber den AutorMcGraw-Hill authors represent the leading experts in their fields and are dedicated to improving the lives, careers, and interests of readers worldwideKlappentextThis new edition of.

Hardcover. Zustand: Brand New. 12 edition. 2656 pages. 11.10x8.98x3.35 inches. In Stock.

Hardcover. Zustand: Brand New. 12 edition. 2656 pages. 11.10x8.98x3.35 inches. In Stock.

Hardcover. Zustand: gut. 2020. Pharmacotherapy: A Pathophysiologic Approach, Eleventh Edition In englischer Sprache. pages.

Hardcover. Zustand: Brand New. 11 edition. 2635 pages. 10.75x8.50x3.00 inches. In Stock.

Zustand: New.

Paperback. Zustand: Brand New. 13 student edition. 2656 pages. 11.42x9.65x3.39 inches. In Stock.

Farbgroßfoto (Repro,4°) , eigenhändig signiertim Badeanzug .