Automated Theorem Proving

After 25 Years

Häftad, Engelska, 1984

AvW. W Bledsoe,Donald W. Loveland

969 kr

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

Produktinformation

Utgivningsdatum1984-12-30
Mått252 x 171 x 14 mm
Vikt510 g
FormatHäftad
SpråkEngelska
SerieContemporary Mathematics
FörlagAmerican Mathematical Society
ISBN9780821850275

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.

Du kanske också är intresserad av

Three Views of Logic

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

Häftad

669 kr

Grönsaker A-Ö : recept och bruksanvisning

Paul Svensson

Inbunden

399 kr

Bokrea

Del 1

Klanen

Pascal Engman

Inbunden

99 kr299 kr

Bokrea

Glömda om söndagen

Valérie Perrin

Inbunden

109 kr329 kr

Bokrea

Del 3

Lucia är död

Katarina Wennstam

Inbunden

289 kr