M laudet (16 risultati)
- Brossura
Da: Ammareal, Morangis, FranciaAmmareal
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 3,15
EUR 16,50 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
No jacket. Condizione: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Sans jaquette. Couverture différente. Edition 1976. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight sig…ns of wear on the cover. No dust jacket. Different cover. Edition 1976. Ammareal gives back up to 15% of this item's net price to charity organizations.
Lingua: Inglese
Editore: Springer Verlag;, 1970
- Brossura
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germaniabooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 4,95
EUR 15,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBroschiert. Condizione: 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.
Lingua: Inglese
Editore: Springer, 1970
- Brossura
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germaniabooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 17,95
EUR 15,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBroschiert. Condizione: 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.
Lingua: Francese
Editore: l'Imprimerie F. Cocharaux, à Auch, 1952
- Brossura
Da: Bouquinerie L'Ivre Livre, FOIX, FranciaBouquinerie L'Ivre Livre
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Ottimo
EUR 10,00
EUR 16,60 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloagrafé. Condizione: 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.
- Brossura
Da: Anybook.com, Lincoln, Regno UnitoAnybook.com
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 23,29
EUR 15,96 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Brossura
Da: Die Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein, Mannheim, GermaniaDie Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 18,00
EUR 39,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. 320 Seiten 1970. Einband etwas berieben, sonst sauber und gut. Sprache: Englisch.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,25
EUR 14,06 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 46,41
EUR 18,18 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 42,75
EUR 62,44 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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 d…u 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.
- Brossura
Da: SHIMEDIA, Brooklyn, NY, U.S.A.SHIMEDIA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 117,42
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. Satisfaction Guaranteed or your money back.
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 109,98
EUR 29,33 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 129,31
EUR 29,33 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
paperback. Condizione: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
Da: Libreria Piani, Monte San Pietro, BO, ItaliaLibreria Piani
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 20,00
EUR 25,00 spedizioneSpedito da Italia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloParis, Plon-Nourrit, 1915, 16mo punto metallico, pp. 46.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 42,75
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 computat…ions.- 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.
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 39,56
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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 accur…acy of computations.- Aspects du Theoreme.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 42,75
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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.
