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

569 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

Alexandra Bring - SIGNERAD Gaspien - Flickan och silverhjorten, Inbunden

Signerad

Del 1

SIGNERAD Gaspien - Flickan och silverhjorten

Alexandra Bring

Inbunden, 2026

219 kr249 kr

Alison Espach - Bröllopsgästerna, Pocket

4 pocket för 3

Bröllopsgästerna

Alison Espach

Pocket, 2026

129 kr

Freida McFadden - Hembiträdet, Pocket

Del 1

Hembiträdet

Freida McFadden

Pocket, 2025

79 kr129 kr

Sarah Easter Collins - Skärvor av en syster, Pocket

4 pocket för 3

Skärvor av en syster

Sarah Easter Collins

Pocket, 2025

129 kr

Hitster - Summer Party (Nordic), Övrigt

Hitster - Summer Party (Nordic)

Jumbo

299 kr379 kr

Jonas Hassen Khemiri - Systrarna, Pocket

4 pocket för 3

Systrarna

Jonas Hassen Khemiri

Pocket, 2026

129 kr

Anders Sundkvist - Utan spår, Pocket

Del 1

Utan spår

Anders Sundkvist

Pocket, 2026

79 kr129 kr

Elsa Swärd, Cornelia Swärd - Rovdrift, Pocket

Nyhet

Del 1

Rovdrift

Elsa Swärd, Cornelia Swärd

Pocket, 2026

79 kr129 kr

Sarah J. Maas - Court of Thorns and Roses 6, Häftad

Nyhet

Del 6

Court of Thorns and Roses 6

Sarah J. Maas

Häftad, 2026

259 kr

Alex Michaelides - Den tysta patienten, Pocket

4 pocket för 3

Den tysta patienten

Alex Michaelides

Pocket, 2020

129 kr