- 5 resultados
menor preço: € 18.00, preço mais alto: € 87.96, preço médio: € 47.23
1
Symposium on Automatic Demonstration Held at Versailles/France, Decembre 1968 - Laudet, M. (Herausgeber); Schützenberger, M. (Herausgeber); Nolin, L. (Herausgeber); Lacombe, D. (Herausgeber)
Encomendar
no/na Achtung-Buecher.de
€ 44.44
Envio: € 0.001
EncomendarLink patrocinado
Laudet, M. (Herausgeber); Schützenberger, M. (Herausgeber); Nolin, L. (Herausgeber); Lacombe, D. (Herausgeber):

Symposium on Automatic Demonstration Held at Versailles/France, Decembre 1968 - nuovo livro

1970, ISBN: 3540049142

1970 Kartoniert / Broschiert Mathematische Grundlagen, Datenverarbeitung; Mathematica; proof; ProofTheory; theorem, mit Schutzumschlag 11, [PU:Springer Berlin Heidelberg; Springer-Verla… mais…

Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
2
Encomendar
no/na buchfreund.de
€ 18.00
Envio: € 4.001
EncomendarLink patrocinado

Laudet and Lacombe:

Symposium on Automatic Demonstration: Held at Versailles/France, Decembre 1968 (Lecture Notes in Mathematics) - Livro de bolso

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… mais…

Custos de envio:Versandkosten innerhalb der BRD. (EUR 4.00) Die Wortfreunde - Antiquariat Wirthwein, 68161 Mannheim
3
Symposium on Automatic Demonstration
Encomendar
no/na Hugendubel.de
€ 42.99
Envio: € 0.001
EncomendarLink patrocinado
Symposium on Automatic Demonstration - Livro de bolso

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… mais…

Custos de envio:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
4
Encomendar
no/na Biblio.co.uk
$ 94.15
(aproximadamente € 87.96)
Envio: € 19.621
EncomendarLink 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) - Livro de bolso

1968, ISBN: 9783540049142

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

Custos de envio: EUR 19.62 Ergodebooks
5
Symposium on Automatic Demonstration - M. Laudet; D. Lacombe; L. Nolin; M. Schützenberger
Encomendar
no/na lehmanns.de
€ 42.75
Envio: € 0.001
EncomendarLink patrocinado
M. Laudet; D. Lacombe; L. Nolin; M. Schützenberger:
Symposium on Automatic Demonstration - primeira edição

1970, ISBN: 9783540049142

Livro de bolso

Held at Versailles/France, Decembre 1968, Buch, Softcover, 1970, [PU: Springer Berlin], Springer Berlin, 1970

Custos de envio:Versand in 10-14 Tagen. (EUR 0.00)

1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro

Dados detalhados do livro - Symposium on Automatic Demonstration


EAN (ISBN-13): 9783540049142
ISBN (ISBN-10): 3540049142
Livro de capa dura
Livro de bolso
Ano de publicação: 1970
Editor/Editora: Springer Berlin Heidelberg
320 Páginas
Peso: 0,485 kg
Língua: eng/Englisch

Livro na base de dados desde 2008-03-02T15:17:39-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-01-21T01:48:43-03:00 (Sao Paulo)
Número ISBN/EAN: 3540049142

Número ISBN - Ortografia alternativa:
3-540-04914-2, 978-3-540-04914-2
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: nolin, schützenberger, lacombe, laudet, schütze, noli, lacomb, schutzenberger
Título do livro: versailles, symposium automatic demonstration, lecture notes mathematics


Dados da editora

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
Editora: Springer; Springer Berlin
310 Páginas
Ano de publicação: 1970-01-01
Berlin; Heidelberg; DE
Língua: 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.

Outros livros adicionais, que poderiam ser muito similares com este livro:

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


< Para arquivar...