Del 125 i serien Lecture Notes in Mathematics

Symposium on Automatic Demonstration

Held at Versailles/France, Decembre 1968

Häftad, Engelska, 1970

AvM. Laudet,D. Lacombe,L. Nolin,M. Schützenberger

559 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1970-01-01
Mått155 x 235 x 18 mm
Vikt487 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Mathematics
Antal sidor310
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540049142

Tillhör följande kategorier

Matematikens grunder inom Naturvetenskap och teknik

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.

Du kanske också är intresserad av

Johanna Bäckström Lerneby - Den sjunde pojken, Pocket

Nyhet

Del 1

Den sjunde pojken

Johanna Bäckström Lerneby

Pocket, 2026

79 kr129 kr

Alexandra Bring - Flickan och silverhjorten, Inbunden

Nyhet

Del 1

Flickan och silverhjorten

Alexandra Bring

Inbunden, 2026

219 kr249 kr

Kollegieblock A4 rutat svart, Övrigt

Kollegieblock 3 för 2

Kollegieblock A4 rutat svart

Kollektion Stora A

39 kr

Anna Jansson - Till ondskans försvar, Pocket

Del 7

Till ondskans försvar

Anna Jansson

Pocket, 2026

79 kr129 kr

Kollegieblock A4 linjerat svart, Övrigt

Kollegieblock 3 för 2

Kollegieblock A4 linjerat svart

Kollektion Stora A

39 kr

Kulspetspenna Frixion Ball Clicker 0.7 svart, raderbar, Övrigt

3 för 2 Frixion

Kulspetspenna Frixion Ball Clicker 0.7 svart, raderbar

Pilot

55 kr

Refill Frixion Ball 0.7 3-pack svart, Övrigt

3 för 2 Frixion

Refill Frixion Ball 0.7 3-pack svart

Pilot

119 kr

Radergummi litet PVC-fritt Faber-Castell, Övrigt

Radergummi litet PVC-fritt Faber-Castell

Faber-Castell

19 kr

Mattias Edvardsson - Gravglänta, Pocket

Nyhet

Del 1

Gravglänta

Mattias Edvardsson

Pocket, 2026

79 kr129 kr

Alex Michaelides - Den tysta patienten, Pocket

4 pocket för 3

Den tysta patienten

Alex Michaelides

Pocket, 2020

129 kr