Importe total (1 artículo artículos):
Destino del pedido:
m laudet (18 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (18)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (8)
- Como nuevo, Excelente o Muy bueno (3)
- Bueno o Aceptable (5)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (2)
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (17)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (2)
- Con imágenes (8)
- No impresión bajo demanda (15)
Idioma (3)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Medical Data Processing
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
OportunidadEUR 3,15
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoNo jacket. Condición: 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 signs 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.
-
Symposium on Automatic Demonstration Lecture Notes on Mathematics, vol. 125
Idioma: Inglés
Publicado por Springer Verlag;, 1970
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 4,95
Envío por EUR 15,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBroschiert. 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.
-
Symposium on Automatic Demonstration Lecture Notes on Mathematics, vol. 125
Idioma: Inglés
Publicado por Springer, 1970
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 17,95
Envío por EUR 15,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBroschiert. 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.
-
La vie dans le pays gersois au début du XIXe siècle
Idioma: Francés
Publicado por l'Imprimerie F. Cocharaux, à Auch, 1952
Librería: Bouquinerie L'Ivre Livre, FOIX, Francia
Calificación del vendedor: 4 de 5 estrellas
EUR 10,00
Envío por EUR 16,60
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoagrafé. 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.
-
Comment Financer La Guerre: Un Plan Pour Le Chancelier De L'echiquier
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 23,28
Envío por EUR 15,95
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondició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.
-
Symposium on Automatic Demonstration: Held at Versailles/France, Decembre 1968 (Lecture Notes in Mathematics)
Librería: Die Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein, Mannheim, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 18,00
Envío por EUR 39,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. 320 Seiten 1970. Einband etwas berieben, sonst sauber und gut. Sprache: Englisch.
-
Symposium on Automatic Demonstration: Held at Versailles/France, Decembre 1968 (Lecture Notes in Mathematics, 125) (Volume 0)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 50,23
Envío por EUR 14,05
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Symposium on Automatic Demonstration : Held at Versailles/France, Decembre 1968
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 46,38
Envío por EUR 18,16
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Symposium on Automatic Demonstration : Held at Versailles/france, Decembre 1968
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 63,82
Envío por EUR 2,31
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
-
Symposium on Automatic Demonstration : Held at Versailles/france, Decembre 1968
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 67,99
Envío por EUR 2,31
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Symposium on Automatic Demonstration : Held at Versailles/France, Decembre 1968
Idioma: Inglés
Publicado por Springer, Springer Vieweg, 1970
ISBN 10: 3540049142 ISBN 13: 9783540049142
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 42,75
Envío por EUR 62,44
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. 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.
-
Medical data processing
Librería: SHIMEDIA, Brooklyn, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 117,23
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. Satisfaction Guaranteed or your money back.
-
Symposium on Automatic Demonstration: Held at Versailles/France, Decembre 1968 (Lecture Notes in Mathematics, 125)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 97,84
Envío por EUR 29,32
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Medical data processing
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 129,24
Envío por EUR 29,32
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Les Responsabilités de la Guerre. La Pensée Française en Alsace-Lorraine.
Año de publicación: 1915
Librería: Libreria Piani, Monte San Pietro, BO, Italia
Miembro de asociación: ALAI ILAB
Calificación del vendedor: 5 de 5 estrellas
EUR 20,00
Envío por EUR 25,00
Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoParis, Plon-Nourrit, 1915, 16mo punto metallico, pp. 46.
-
Symposium on Automatic Demonstration
Idioma: Inglés
Publicado por Springer Berlin Heidelberg Jan 1970, 1970
ISBN 10: 3540049142 ISBN 13: 9783540049142
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 42,75
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. 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.
-
Symposium on Automatic Demonstration
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 1970
ISBN 10: 3540049142 ISBN 13: 9783540049142
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 39,56
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondició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.
-
Symposium on Automatic Demonstration
Idioma: Inglés
Publicado por Springer, Springer Vieweg Jan 1970, 1970
ISBN 10: 3540049142 ISBN 13: 9783540049142
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 42,75
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. 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.
