Automated Theorem Proving

After 25 Years

Häftad, Engelska, 1984

Av W. W Bledsoe, Donald W. Loveland

999 kr

Skickas onsdag 21/1

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
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

Three Views of Logic

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

879 kr

Hembiträdet

Nyhet

Del 1

Hembiträdet

Freida McFadden

125 kr

Hon som blev kvar

4 pocket för 3

Hon som blev kvar

125 kr

Formler & tabeller i fysik, matematik & kemi : för gymnasieskolan

Formler & tabeller i fysik, matematik & kemi : för gymnasieskolan

Per-Uno Ekholm, Lars Fraenkel, Sven Hörbeck

89 kr

Judas

Nyhet

Judas

249 kr279 kr

Bokhandeln under körsbärsträdet

Nyhet

Bokhandeln under körsbärsträdet

279 kr

Glömda om söndagen

Nyhet

Glömda om söndagen

Valérie Perrin

79 kr115 kr

Väggkalender 2026 Elsa Beskow

Väggkalender 2026 Elsa Beskow

Kollektion Stora A

199 kr

Familjekalender 2026 Design Kajsa Hagelin

Familjekalender 2026 Design Kajsa Hagelin

Paperstyle

209 kr

Charmen med tarmen : allt om ett av kroppens mest underskattade organ

4 pocket för 3

Charmen med tarmen : allt om ett av kroppens mest underskattade organ

115 kr