Automated Reasoning Series - Automated Reasoning
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

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

1991 ◽  
pp. 211-229 ◽  
Author(s):  
Young K. Nam ◽  
Lawrence J. Henschen
Keyword(s):  
List Structure ◽  
Prolog Programs

A Biographical Sketch of W. W. Bledsoe

1991 ◽  
pp. 1-29 ◽  
Author(s):  
Anne Olivia Boyer ◽  
Robert S. Boyer
Keyword(s):  
Biographical Sketch

Perspectives on Automated Deduction

1991 ◽  
pp. 77-104 ◽  
Author(s):  
W. Bibel
Keyword(s):  
Automated Deduction

Formal and Informal Proofs

1991 ◽  
pp. 267-282 ◽  
Author(s):  
J. A. Robinson

scholarly journals Similarity, Uncertainty and Case-Based Reasoning in Patdex

1991 ◽  
pp. 249-265 ◽  
Author(s):  
Michael M. Richter ◽  
Stefan Wess
Keyword(s):  
Case Based Reasoning ◽  
Case Based

Aligning Multiple RNA Sequences

1991 ◽  
pp. 231-247
Author(s):  
Ross Overbeek ◽  
Ian Foster
Keyword(s):  
Rna Sequences

What Are the Limitations of the Situation Calculus?

1991 ◽  
pp. 167-179 ◽  
Author(s):  
M. Gelfond ◽  
V. Lifschitz ◽  
A. Rabinov
Keyword(s):  
Situation Calculus

PTTP and Linked Inference

1991 ◽  
pp. 283-295 ◽  
Author(s):  
Mark E. Stickel
Load More ...
Sign in / Sign up

Export Citation Format

Share Document