Automated Theorem Proving

After 25 Years

Häftad, Engelska, 1984

Av W. W Bledsoe, Donald W. Loveland

1 089 kr

Skickas torsdag 25/9

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1984-12-15
Mått252 x 171 x 14 mm
Vikt510 g
SpråkEngelska
SerieContemporary Mathematics
FörlagAmerican Mathematical Society
EAN9780821850275

Du kanske också är intresserad av

Three Views of Logic

Three Views of Logic

Donald W. Loveland, Richard Hodel, Susan Sterrett, Donald W Loveland

679 kr

Akrylfärg Simply 25 delar

Akrylfärg Simply 25 delar

Daler-Rowney

199 kr

Lera DAS 1kg vit

Lera DAS 1kg vit

DAS

89 kr

Hjärtslag : En självbiografi

Nyhet

Hjärtslag : En självbiografi

Björn Borg, Patricia Borg

349 kr

Lackeringskit DAS 75ml lack + pensel

Lackeringskit DAS 75ml lack + pensel

DAS

159 kr

Pojken på andra sidan havet

Nyhet

Pojken på andra sidan havet

299 kr359 kr

Den yttersta hemligheten

Nyhet

Del 6

Den yttersta hemligheten

329 kr

Modelleringsverktyg DAS trä 2-pack

Modelleringsverktyg DAS trä 2-pack

DAS

69 kr

Caminando Spanska Nybörjare Lärobok inkl ljud

Caminando Spanska Nybörjare Lärobok inkl ljud

Elisabet Waldenström, Ninni Westerman, Åsa Bretz, Åsa Gustafsson, Märet Wik-Bretz

589 kr

Väninnorna på Nordiska Kompaniet

Nyhet

Del 2

Väninnorna på Nordiska Kompaniet

Ruth Kvarnström-Jones

79 kr125 kr

Tillhör följande kategorier

Matematikens grunder inom Naturvetenskap och teknik

Automated theorem proving: a quarter century review by D. W. Loveland Citation to Hao Wang Computer theorem proving and artificial intelligence by H. Wang Citation to Lawrence Wos and Steven Winker Open questions solved with the assistance of AURA by L. Wos and S. Winker Some automatic proofs in analysis by W. W. Bledsoe Proof-checking, theorem-proving, and program verification by R. S. Boyer and J. S. Moore A mechanical proof of the turing completeness of pure LISP by R. S. Boyer and J. S. Moore Automating higher-order logic by P. B. Andrews, D. A. Miller, E. L. Cohen, and F. Pfenning Abelian group unification algorithms for elementary terms by D. Lankford, G. Butler, and B. Brady Combining satisfiability procedures by equality sharing by G. Nelson On the decision problem and the mechanization of theorem-proving in elementary geometry by W. Wen-Tsun Some recent advances in mechanical theorem-proving of geometries by W. Wen-Tsun Proving elementary geometry theorems using Wu's algorithm by S.-C. Chou Automated theory formation in mathematics by D. B. Lenat Student use of an interactive theorem prover by J. McDonald and P. Suppes.