Laudet M (16 results)

Author: 
Refine with Advanced Search

Refine your search

  • Books (16)

to

Custom price range (US$)

to

  • Language: English

    Published by Springer Verlag;, 1970

    • Softcover

    Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)

    5-star seller
    Contact seller

    Condition: Used - Very good

    US$ 5.71

    US$ 17.86 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Add to basket

    Broschiert. Condition: 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. …

  • Language: English

    Published by Springer, 1970

    • Softcover

    Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)

    5-star seller
    Contact seller

    Condition: Used - Very good

    US$ 20.71

    US$ 17.86 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Add to basket

    Broschiert. Condition: 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. …

  • Language: English

    Published by Classiques Garnier, 2020

    2406107639 / 9782406107637

    • Softcover

    Seller: Anybook.com, Lincoln, United KingdomAnybook.com

    5-star seller
    Contact seller

    Condition: Used - Good

    US$ 26.23

    US$ 17.23 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 1 available

    Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9782406107637. …

  • Language: French

    Published by l'Imprimerie F. Cocharaux, à Auch, 1952

    • Softcover

    Seller: Bouquinerie L'Ivre Livre, FOIX, FranceBouquinerie L'Ivre Livre

    4-star seller
    Contact seller

    Condition: Used - Fine

    US$ 11.54

    US$ 22.51 shipping 
    Ships from France to U.S.A.

    Quantity: 1 available

    Add to basket

    agrafé. Condition: Très bon. Petit In-4° agrafé de 16 pages. Papier bruni, sinon en très bon état. Nous diminuerons les frais de port indiqués.

  • Language: English

    Published by Springer, Berlin, 1970

    3540049142 / 9783540049142

    • Softcover

    Seller: Die Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein, Mannheim, GermanyDie Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein

    5-star seller
    Contact seller

    Condition: Used - Very good

    US$ 20.77

    US$ 43.68 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Taschenbuch. Condition: Gut. 320 Seiten 1970. Einband etwas berieben, sonst sauber und gut. Sprache: Englisch.

  • Language: English

    Published by Springer 1970-01, 1970

    3540049142 / 9783540049142

    • Softcover

    Seller: Chiron Media, Wallingford, United KingdomChiron Media

    5-star seller
    Contact seller

    Condition: New

    US$ 52.26

    US$ 20.47 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 10 available

    PF. Condition: New.

  • Language: English

    Published by Springer, 1970

    3540049142 / 9783540049142

    • Softcover

    Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    5-star seller
    Contact seller

    Condition: New

    US$ 70.37

    US$ 2.64 shipping 
    Ships within U.S.A.

    Quantity: 15 available

    Condition: New.

  • Language: English

    Published by Springer, 1970

    3540049142 / 9783540049142

    • Softcover

    Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

    5-star seller
    Contact seller

    Condition: New

    US$ 62.32

    US$ 14.92 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: Over 20 available

    Condition: New. In English.

  • Language: English

    Published by Springer, 1970

    3540049142 / 9783540049142

    • Softcover

    Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    5-star seller
    Contact seller

    Condition: Used - As new

    US$ 75.64

    US$ 2.64 shipping 
    Ships within U.S.A.

    Quantity: 15 available

    Condition: As New. Unread book in perfect condition.

  • Language: English

    Published by Springer, 1970

    3540049142 / 9783540049142

    • Softcover

    Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

    5-star seller
    Contact seller

    Condition: New

    US$ 53.69

    US$ 39.20 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Taschenbuch. Condition: 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.…

  • Language: English

    Published by Taylor and Francis

    0850661064 / 9780850661064

    • Softcover

    Seller: SHIMEDIA, Brooklyn, NY, U.S.A.SHIMEDIA

    4-star seller
    Contact seller

    Condition: New

    US$ 129.99

     Free Shipping 
    Ships within U.S.A.

    Quantity: 1 available

    Condition: New. Satisfaction Guaranteed or your money back.

  • Language: English

    Published by Springer, 1970

    3540049142 / 9783540049142

    • Softcover

    Seller: Mispah books, Redhill, SURRE, United KingdomMispah books

    4-star seller
    Contact seller

    Condition: Used - Very good

    US$ 123.85

    US$ 33.03 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 1 available

    Paperback. Condition: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

  • Seller: Libreria Piani, Monte San Pietro, BO, ItalyLibreria Piani

    5-star seller
    Contact seller

    Association member: ALAIILAB

    Condition: Used

    US$ 23.07

    US$ 39.20 shipping 
    Ships from Italy to U.S.A.

    Quantity: 1 available

    Add to basket

    Paris, Plon-Nourrit, 1915, 16mo punto metallico, pp. 46.

  • Language: English

    Published by Springer Berlin Heidelberg Jan 1970, 1970

    3540049142 / 9783540049142

    • Softcover
    • Print on Demand

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.

    5-star seller
    Contact seller

    Condition: New

    US$ 49.31

    US$ 25.76 shipping 
    Ships from Germany to U.S.A.

    Quantity: 2 available

    Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 320 pp. Englisch.…

  • Language: English

    Published by Springer Berlin Heidelberg, 1970

    3540049142 / 9783540049142

    • Softcover
    • Print on Demand

    Seller: moluna, Greven, Germanymoluna

    5-star seller
    Contact seller

    Condition: New

    US$ 45.64

    US$ 54.87 shipping 
    Ships from Germany to U.S.A.

    Quantity: Over 20 available

    Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.…

  • Language: English

    Published by Springer, Springer Vieweg Jan 1970, 1970

    3540049142 / 9783540049142

    • Softcover
    • Print on Demand

    Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000

    5-star seller
    Contact seller

    Condition: New

    US$ 49.31

    US$ 67.20 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 320 pp. Englisch.…