- 5 Resultados
precio mínimo: € 18,00, precio máximo: € 87,96, precio promedio: € 48,06
1
Symposium on Automatic Demonstration : Held at Versailles/France, Decembre 1968 - M. Laudet
Pedir
por ZVAB.com
€ 48,60
Envío: € 8,811
Pedir
Detalles del proveedor
Enlace patrocinado
M. Laudet:

Symposium on Automatic Demonstration : Held at Versailles/France, Decembre 1968 - Pasta blanda

1970, ISBN: 3540049142

[EAN: 9783540049142], Neubuch, [SC: 8.81], [PU: Springer Berlin Heidelberg], DATENVERARBEITUNG; MATHEMATICA; PROOF; PROOFTHEORY; THEOREM, Druck auf Anfrage Neuware - Printed after orderin… Más…

NEW BOOK. Gastos de envío: EUR 8.81 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
cerrar (X)
2
Symposium on Automatic Demonstration - M. Laudet
Pedir
por AbeBooks.de
€ 42,75
Envío: € 24,741
Pedir
Detalles del proveedor
Enlace patrocinado

M. Laudet:

Symposium on Automatic Demonstration - Pasta blanda

1970, ISBN: 3540049142

[EAN: 9783540049142], Neubuch, [PU: Springer Berlin Heidelberg Jan 1970], DATENVERARBEITUNG; MATHEMATICA; PROOF; PROOFTHEORY; THEOREM, This item is printed on demand - it takes 3-4 days l… Más…

NEW BOOK. Gastos de envío: EUR 24.74 BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 4 (von 5)]
cerrar (X)
3
Pedir
por buchfreund.de
€ 18,00
Envío: € 4,001
Pedir
Detalles del proveedor
Enlace patrocinado
Laudet and Lacombe:
Symposium on Automatic Demonstration: Held at Versailles/France, Decembre 1968 (Lecture Notes in Mathematics) - Pasta blanda

1970

ISBN: 9783540049142

320 Seiten Taschenbuch 1970. Einband etwas berieben, sonst sauber und gut. Versand D: 4,00 EUR Mathematical foundations, Mathematics, Mathematik / Grundlagen, Grundlagen, Mathematik, Logi… Más…

Gastos de envío:Versandkosten innerhalb der BRD. (EUR 4.00) Die Wortfreunde - Antiquariat Wirthwein, 68161 Mannheim
cerrar (X)
4
Symposium on Automatic Demonstration
Pedir
por Hugendubel.de
€ 42,99
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Symposium on Automatic Demonstration - Pasta blanda

ISBN: 9783540049142

*Symposium on Automatic Demonstration* - Held at Versailles/France Decembre 1968. Auflage 1970 / Taschenbuch für 42.99 € / Aus dem Bereich: Bücher, Wissenschaft, Mathematik Medien > Büche… Más…

Gastos de envío:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
cerrar (X)
5
Pedir
por Biblio.co.uk
$ 94,15
(aprox. € 87,96)
Envío: € 19,621
Pedir
Detalles del proveedor
Enlace patrocinado
M. Laudet (Editor), D. Lacombe (Editor), L. Nolin (Editor), M. Schützenberger (Editor):
Symposium on Automatic Demonstration: Held at Versailles/France, Decembre 1968 (Lecture Notes in Mathematics) - Pasta blanda

1968, ISBN: 9783540049142

Springer, 1970-01-01. 1970. Paperback. Used:Good., Springer, 1970-01-01, 0

Gastos de envío: EUR 19.62 Ergodebooks
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Symposium on Automatic Demonstration
Autor:
Título:
ISBN:

3540049142

Detalles del libro - Symposium on Automatic Demonstration


EAN (ISBN-13): 9783540049142
ISBN (ISBN-10): 3540049142
Tapa dura
Tapa blanda
Año de publicación: 1970
Editorial: Springer Berlin Heidelberg
320 Páginas
Peso: 0,485 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2008-03-02T12:17:39-06:00 (Mexico City)
Página de detalles modificada por última vez el 2024-04-17T08:51:03-06:00 (Mexico City)
ISBN/EAN: 3540049142

ISBN - escritura alterna:
3-540-04914-2, 978-3-540-04914-2
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: nolin, schützenberger, lacombe, laudet, schütze, noli, lacomb, schutzenberger
Título del libro: versailles, symposium automatic demonstration, lecture notes mathematics

Datos del la editorial

Autor: M. Laudet; D. Lacombe; L. Nolin; M. Schützenberger
Título: Lecture Notes in Mathematics; Symposium on Automatic Demonstration - Held at Versailles/France, Decembre 1968
Editorial: Springer; Springer Berlin
310 Páginas
Año de publicación: 1970-01-01
Berlin; Heidelberg; DE
Idioma: Inglés
42,75 € (DE)
43,95 € (AT)
57,61 CHF (CH)
Available
VI, 310 p.

BC; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Datenverarbeitung; Mathematica; proof; proof theory; theorem; Mathematical Logic and Foundations; Mathematische Grundlagen; EA

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.

Más, otros libros, que pueden ser muy parecidos a este:

Último libro similar:
9783540362623 Symposium on Automatic Demonstration (D. Lacombe; M. Laudet; L. Nolin; M. Schutzenberger)

< para archivar...