- 5 Résultats
prix le plus bas: € 18,00, prix le plus élevé: € 87,96, prix moyen: € 48,06
1
Symposium on Automatic Demonstration : Held at Versailles/France, Decembre 1968 - M. Laudet
Commander
sur ZVAB.com
€ 48,60
Envoi: € 8,811
Commander
Détails du fournisseur
Lien sponsorisé
M. Laudet:

Symposium on Automatic Demonstration : Held at Versailles/France, Decembre 1968 - Livres de poche

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

NEW BOOK. Frais d'envoi EUR 8.81 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
fermer(X)
2
Symposium on Automatic Demonstration - M. Laudet
Commander
sur AbeBooks.de
€ 42,75
Envoi: € 24,741
Commander
Détails du fournisseur
Lien sponsorisé

M. Laudet:

Symposium on Automatic Demonstration - Livres de poche

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

NEW BOOK. Frais d'envoi EUR 24.74 BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 4 (von 5)]
fermer(X)
3
Commander
sur buchfreund.de
€ 18,00
Envoi: € 4,001
Commander
Détails du fournisseur
Lien sponsorisé
Laudet and Lacombe:
Symposium on Automatic Demonstration: Held at Versailles/France, Decembre 1968 (Lecture Notes in Mathematics) - Livres de poche

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

Frais d'envoiVersandkosten innerhalb der BRD. (EUR 4.00) Die Wortfreunde - Antiquariat Wirthwein, 68161 Mannheim
fermer(X)
4
Symposium on Automatic Demonstration
Commander
sur Hugendubel.de
€ 42,99
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Symposium on Automatic Demonstration - Livres de poche

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

Frais d'envoiShipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
fermer(X)
5
Commander
sur Biblio.co.uk
$ 94,15
(environ € 87,96)
Envoi: € 19,621
Commander
Détails du fournisseur
Lien sponsorisé
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) - Livres de poche

1968, ISBN: 9783540049142

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

Frais d'envoi EUR 19.62 Ergodebooks
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Symposium on Automatic Demonstration
Auteur:
Titre:
ISBN:

3540049142

Informations détaillées sur le livre - Symposium on Automatic Demonstration


EAN (ISBN-13): 9783540049142
ISBN (ISBN-10): 3540049142
Version reliée
Livre de poche
Date de parution: 1970
Editeur: Springer Berlin Heidelberg
320 Pages
Poids: 0,485 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2008-03-02T19:17:39+01:00 (Zurich)
Page de détail modifiée en dernier sur 2024-04-17T16:51:03+02:00 (Zurich)
ISBN/EAN: 3540049142

ISBN - Autres types d'écriture:
3-540-04914-2, 978-3-540-04914-2
Autres types d'écriture et termes associés:
Auteur du livre: nolin, schützenberger, lacombe, laudet, schütze, noli, lacomb, schutzenberger
Titre du livre: versailles, symposium automatic demonstration, lecture notes mathematics

Données de l'éditeur

Auteur: M. Laudet; D. Lacombe; L. Nolin; M. Schützenberger
Titre: Lecture Notes in Mathematics; Symposium on Automatic Demonstration - Held at Versailles/France, Decembre 1968
Editeur: Springer; Springer Berlin
310 Pages
Date de parution: 1970-01-01
Berlin; Heidelberg; DE
Langue: Anglais
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.

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783540362623 Symposium on Automatic Demonstration (D. Lacombe; M. Laudet; L. Nolin; M. Schutzenberger)

< pour archiver...