Del i serien Contemporary Mathematics

Automated Theorem Proving

After 25 Years

Häftad, Engelska, 1984

AvW. W Bledsoe,Donald W. Loveland

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

Häftad, 2014

779 kr

Ruth Kvarnström-Jones - Systrarna på Sophiahemmet, Inbunden

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Nyhet

Threshing Day (Limited Deluxe Edition)

Rebecca Yarros

Inbunden, 2026

339 kr

Kollegieblock 3 för 2

Kollegieblock A4 rutat svart

Kollektion Stora A

(1)

39 kr

Sarah J. Maas - A Court of Splintered Harmony, Häftad

Nyhet

Del 6

A Court of Splintered Harmony

Sarah J. Maas

Häftad, 2026

259 kr

Del 2

Skred

Sara Strömberg

Pocket, 2023

79 kr115 kr

Nyhet

Del 4

Sot

Sara Strömberg

Pocket, 2026

(1)

79 kr129 kr

Katarina Wennstam - Moder blod, Inbunden

Nyhet

Del 4

Moder blod

Katarina Wennstam

Inbunden, 2026

269 kr299 kr

Del 1

Sly

Sara Strömberg

Pocket, 2022

79 kr129 kr

Del i serien Contemporary Mathematics

Automated Theorem Proving

After 25 Years

Häftad, Engelska, 1984

AvW. W Bledsoe,Donald W. Loveland

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

Häftad, 2014

779 kr

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Nyhet

Threshing Day (Limited Deluxe Edition)

Rebecca Yarros

Inbunden, 2026

339 kr

Kollegieblock 3 för 2

Kollegieblock A4 rutat svart

Kollektion Stora A

(1)

39 kr

Nyhet

Del 6

A Court of Splintered Harmony

Sarah J. Maas

Häftad, 2026

259 kr

Del 2

Skred

Sara Strömberg

Pocket, 2023

79 kr115 kr

Nyhet

Del 4

Sot

Sara Strömberg

Pocket, 2026

(1)

79 kr129 kr

Nyhet

Del 4

Moder blod

Katarina Wennstam

Inbunden, 2026

269 kr299 kr

Del 1

Sly

Sara Strömberg

Pocket, 2022

79 kr129 kr

Automated Theorem Proving

After 25 Years

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

Automated Theorem Proving

After 25 Years

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

Automated Theorem Proving

After 25 Years

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

Automated Theorem Proving

After 25 Years

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

Automated Theorem Proving

After 25 Years

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av