Automated Reasoning Series - Automated Reasoning
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Netherlands

9789401055420, 9789401134880

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Compiling Recursive Functional Prolog Programs with List Structure into Procedural Languages

Automated Reasoning Series - Automated Reasoning ◽

10.1007/978-94-011-3488-0_10 ◽

1991 ◽

pp. 211-229 ◽

Cited By ~ 1

Author(s):

Young K. Nam ◽

Lawrence J. Henschen

Keyword(s):

List Structure ◽

Prolog Programs

Download Full-text

A Biographical Sketch of W. W. Bledsoe

Automated Reasoning Series - Automated Reasoning ◽

10.1007/978-94-011-3488-0_1 ◽

1991 ◽

pp. 1-29 ◽

Cited By ~ 2

Author(s):

Anne Olivia Boyer ◽

Robert S. Boyer

Keyword(s):

Biographical Sketch

Download Full-text

Perspectives on Automated Deduction

Automated Reasoning Series - Automated Reasoning ◽

10.1007/978-94-011-3488-0_4 ◽

1991 ◽

pp. 77-104 ◽

Cited By ~ 8

Author(s):

W. Bibel

Keyword(s):

Automated Deduction

Download Full-text

Formal and Informal Proofs

Automated Reasoning Series - Automated Reasoning ◽

10.1007/978-94-011-3488-0_13 ◽

1991 ◽

pp. 267-282 ◽

Cited By ~ 8

Author(s):

J. A. Robinson

Download Full-text

Similarity, Uncertainty and Case-Based Reasoning in Patdex

Automated Reasoning Series - Automated Reasoning ◽

10.1007/978-94-011-3488-0_12 ◽

1991 ◽

pp. 249-265 ◽

Cited By ~ 30

Author(s):

Michael M. Richter ◽

Stefan Wess

Keyword(s):

Case Based Reasoning ◽

Case Based

Download Full-text

The Metatheorist: Automatic Proofs of Theorems in Analysis Using Non-Standard Techniques, Part II

Automated Reasoning Series - Automated Reasoning ◽

10.1007/978-94-011-3488-0_3 ◽

1991 ◽

pp. 61-75 ◽

Cited By ~ 1

Author(s):

A. M. Ballantyne

Keyword(s):

Standard Techniques

Download Full-text

Aligning Multiple RNA Sequences

Automated Reasoning Series - Automated Reasoning ◽

10.1007/978-94-011-3488-0_11 ◽

1991 ◽

pp. 231-247

Author(s):

Ross Overbeek ◽

Ian Foster

Keyword(s):

Rna Sequences

Download Full-text

What Are the Limitations of the Situation Calculus?

Automated Reasoning Series - Automated Reasoning ◽

10.1007/978-94-011-3488-0_8 ◽

1991 ◽

pp. 167-179 ◽

Cited By ~ 32

Author(s):

M. Gelfond ◽

V. Lifschitz ◽

A. Rabinov

Keyword(s):

Situation Calculus

Download Full-text

Automated Reasoning and Bledsoe’s Dream for the Field

Automated Reasoning Series - Automated Reasoning ◽

10.1007/978-94-011-3488-0_15 ◽

1991 ◽

pp. 297-345 ◽

Cited By ~ 3

Author(s):

Larry Wos

Keyword(s):

Automated Reasoning

Download Full-text

PTTP and Linked Inference

Automated Reasoning Series - Automated Reasoning ◽

10.1007/978-94-011-3488-0_14 ◽

1991 ◽

pp. 283-295 ◽

Cited By ~ 3

Author(s):

Mark E. Stickel

Download Full-text

Automated Reasoning Series - Automated ReasoningLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Netherlands

Compiling Recursive Functional Prolog Programs with List Structure into Procedural Languages

A Biographical Sketch of W. W. Bledsoe

Perspectives on Automated Deduction

Formal and Informal Proofs

Similarity, Uncertainty and Case-Based Reasoning in Patdex

The Metatheorist: Automatic Proofs of Theorems in Analysis Using Non-Standard Techniques, Part II

Aligning Multiple RNA Sequences

What Are the Limitations of the Situation Calculus?

Automated Reasoning and Bledsoe’s Dream for the Field

PTTP and Linked Inference

Automated Reasoning Series - Automated Reasoning
Latest Publications