M laudet (16 resultados)

Autor: 
Refinar con la Búsqueda avanzada

Filtrar la búsqueda

  • Libros (16)

a

Intervalo de precios personalizado (EUR)

a

  • Idioma: Inglés

    Editorial: Springer Verlag;, 1970

    • Tapa blanda

    Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemaniabooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Bueno

    EUR 4,95

    Envío por EUR 15,95 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponible

    Añadir al carrito

    Broschiert. Condición: 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. …

  • Idioma: Inglés

    Editorial: Springer, 1970

    • Tapa blanda

    Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemaniabooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Bueno

    EUR 17,95

    Envío por EUR 15,95 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponible

    Añadir al carrito

    Broschiert. Condición: 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. …

  • Idioma: Inglés

    Editorial: Classiques Garnier, 2020

    2406107639 / 9782406107637

    • Tapa blanda

    Librería: Anybook.com, Lincoln, Reino UnidoAnybook.com

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Aceptable

    EUR 23,42

    Envío por EUR 15,38 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 1 disponible

    Condición: 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. …

  • Idioma: Francés

    Editorial: l'Imprimerie F. Cocharaux, à Auch, 1952

    • Tapa blanda

    Librería: Bouquinerie L'Ivre Livre, FOIX, FranciaBouquinerie L'Ivre Livre

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Usado - Excelente

    EUR 10,00

    Envío por EUR 20,10 
    Se envía de Francia a Estados Unidos de America

    Cantidad disponible: 1 disponible

    Añadir al carrito

    agrafé. Condición: 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.

  • Idioma: Inglés

    Editorial: Springer, Berlin, 1970

    3540049142 / 9783540049142

    • Tapa blanda

    Librería: Die Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein, Mannheim, AlemaniaDie Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Bueno

    EUR 18,00

    Envío por EUR 39,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponible

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

  • Idioma: Inglés

    Editorial: Springer 1970-01, 1970

    3540049142 / 9783540049142

    • Tapa blanda

    Librería: Chiron Media, Wallingford, Reino UnidoChiron Media

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 46,66

    Envío por EUR 18,27 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 10 disponibles

    PF. Condición: New.

  • Idioma: Inglés

    Editorial: Springer, 1970

    3540049142 / 9783540049142

    • Tapa blanda

    Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 64,71

    Envío por EUR 2,36 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 15 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: Springer, 1970

    3540049142 / 9783540049142

    • Tapa blanda

    Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 55,64

    Envío por EUR 13,32 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New. In English.

  • Idioma: Inglés

    Editorial: Springer, 1970

    3540049142 / 9783540049142

    • Tapa blanda

    Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Como Nuevo

    EUR 69,56

    Envío por EUR 2,36 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 15 disponibles

    Condición: As New. Unread book in perfect condition.

  • Idioma: Inglés

    Editorial: Springer, 1970

    3540049142 / 9783540049142

    • Tapa blanda

    Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 46,54

    Envío por EUR 35,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponible

    Taschenbuch. Condición: 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.…

  • Idioma: Inglés

    Editorial: Taylor and Francis

    0850661064 / 9780850661064

    • Tapa blanda

    Librería: SHIMEDIA, Brooklyn, NY, Estados Unidos de AmericaSHIMEDIA

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 119,54

     Gastos de envío gratis 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 1 disponible

    Condición: New. Satisfaction Guaranteed or your money back.

  • Idioma: Inglés

    Editorial: Springer, 1970

    3540049142 / 9783540049142

    • Tapa blanda

    Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Usado - Bueno

    EUR 110,58

    Envío por EUR 29,49 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 1 disponible

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

  • Librería: Libreria Piani, Monte San Pietro, BO, ItaliaLibreria Piani

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Miembro de asociación: ALAIILAB

    Condición: Usado

    EUR 20,00

    Envío por EUR 35,00 
    Se envía de Italia a Estados Unidos de America

    Cantidad disponible: 1 disponible

    Añadir al carrito

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

  • Idioma: Inglés

    Editorial: Springer Berlin Heidelberg Jan 1970, 1970

    3540049142 / 9783540049142

    • Tapa blanda
    • Impresión bajo demanda

    Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 42,75

    Envío por EUR 23,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 2 disponibles

    Taschenbuch. Condición: 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.…

  • Idioma: Inglés

    Editorial: Springer Berlin Heidelberg, 1970

    3540049142 / 9783540049142

    • Tapa blanda
    • Impresión bajo demanda

    Librería: moluna, Greven, Alemaniamoluna

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 39,56

    Envío por EUR 48,99 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: 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.…

  • Idioma: Inglés

    Editorial: Springer, Springer Vieweg Jan 1970, 1970

    3540049142 / 9783540049142

    • Tapa blanda
    • Impresión bajo demanda

    Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 42,75

    Envío por EUR 60,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponible

    Taschenbuch. Condición: 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.…