- 5 resultaten
laagste prijs: € 18,00, hoogste prijs: € 87,96, gemiddelde prijs: € 48,06
1
Symposium on Automatic Demonstration : Held at Versailles/France, Decembre 1968 - M. Laudet
bestellen
bij ZVAB.com
€ 48,60
verzending: € 8,811
bestellen
Details aangeboden
Gesponsorde link
M. Laudet:

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

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… Meer...

NEW BOOK. Verzendingskosten: EUR 8.81 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
dichtslaan (X)
2
Symposium on Automatic Demonstration - M. Laudet
bestellen
bij AbeBooks.de
€ 42,75
verzending: € 24,741
bestellen
Details aangeboden
Gesponsorde link

M. Laudet:

Symposium on Automatic Demonstration - pocketboek

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… Meer...

NEW BOOK. Verzendingskosten: EUR 24.74 BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 4 (von 5)]
dichtslaan (X)
3
bestellen
bij buchfreund.de
€ 18,00
verzending: € 4,001
bestellen
Details aangeboden
Gesponsorde link
Laudet and Lacombe:
Symposium on Automatic Demonstration: Held at Versailles/France, Decembre 1968 (Lecture Notes in Mathematics) - pocketboek

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… Meer...

Verzendingskosten:Versandkosten innerhalb der BRD. (EUR 4.00) Die Wortfreunde - Antiquariat Wirthwein, 68161 Mannheim
dichtslaan (X)
4
Symposium on Automatic Demonstration
bestellen
bij Hugendubel.de
€ 42,99
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Symposium on Automatic Demonstration - pocketboek

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… Meer...

Verzendingskosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
dichtslaan (X)
5
bestellen
bij Biblio.co.uk
$ 94,15
(ongeveer € 87,96)
verzending: € 19,621
bestellen
Details aangeboden
Gesponsorde link
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) - pocketboek

1968, ISBN: 9783540049142

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

Verzendingskosten: EUR 19.62 Ergodebooks
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Symposium on Automatic Demonstration
auteur:
Titel:
ISBN:

3540049142

Gedetalleerde informatie over het boek. - Symposium on Automatic Demonstration


EAN (ISBN-13): 9783540049142
ISBN (ISBN-10): 3540049142
Gebonden uitgave
pocket book
Verschijningsjaar: 1970
Uitgever: Springer Berlin Heidelberg
320 Bladzijden
Gewicht: 0,485 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2008-03-02T19:17:39+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-04-17T16:51:03+02:00 (Amsterdam)
ISBN/EAN: 3540049142

ISBN - alternatieve schrijfwijzen:
3-540-04914-2, 978-3-540-04914-2
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: nolin, schützenberger, lacombe, laudet, schütze, noli, lacomb, schutzenberger
Titel van het boek: versailles, symposium automatic demonstration, lecture notes mathematics

Gegevens van de uitgever

Auteur: M. Laudet; D. Lacombe; L. Nolin; M. Schützenberger
Titel: Lecture Notes in Mathematics; Symposium on Automatic Demonstration - Held at Versailles/France, Decembre 1968
Uitgeverij: Springer; Springer Berlin
310 Bladzijden
Verschijningsjaar: 1970-01-01
Berlin; Heidelberg; DE
Taal: Engels
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.

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9783540362623 Symposium on Automatic Demonstration (D. Lacombe; M. Laudet; L. Nolin; M. Schutzenberger)

< naar Archief...