L nolin (44 résultats)

Broschiert. Etat : 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. Etat : 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. Etat : Brand New. original edition. 320 pages. 8.50x5.75x1.00 inches. In Stock.

Etat : Very Good.

Hardcover. Etat : Good. Book in Good condition.

Hardcover. Etat : 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.

Hardcover. Etat : 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. Etat : 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.

Etat : New.

Etat : New. In English.

Etat : As New. Unread book in perfect condition.

Broché. Etat : 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. Etat : 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.…

Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Etat : very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.…

Hardcover. Etat : 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.

Hardcover. Etat : Good. Book in Good condition.

hardcover. Etat : new.

Hardcover. Etat : New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

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

Etat : NEW.

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

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

Etat : New. In English.

Etat : 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.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : New.

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

Etat : As New. Unread book in perfect condition.