Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Cover Image
Read Now

2
by Hsu, John Y.
Published 2002
Springer New York
“...An understanding of modern computer logic - incorporating core knowledge of number systems, number...”
Cover Image
Read Now

3
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...Problems and Promises of Computational Logic -- An Introduction to Prolog III -- On Open Defaults...”
Cover Image
Read Now

4
Published 1994
Springer Berlin Heidelberg
“... in Computational Logics, CCL '94, held in Munich, Germany in September 1994. Besides abstracts or full papers...”
Cover Image
Read Now

5
Published 2000
Springer Netherlands
“... and computational logic, ranging across automated deduction, logic programming, the logic-based approach...”
Cover Image
Read Now

6
by Wang Hao
Published 1990
Springer Netherlands
Cover Image
Read Now

8
Published 1993
Springer Berlin Heidelberg
“.... The aim of this meeting wasto bring together researchers working in the fields of computational logic...”
Cover Image
Read Now

9
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... in Computational Logic -- Synthesis of Programs in Computational Logic -- Developing Logic Programs from...”
Cover Image
Read Now

12
by Schwartz, Jacob T., Cantone, Domenico, Omodeo, Eugenio G.
Published 2011
Springer London
“... on computational logic and set theory and its application to proof verification techniques, culminating...”
Cover Image
Read Now

13
by Kowalski, Robert
Published 2011
Cambridge University Press
Table of Contents: “... and objects -- 15. Biconditionals -- 16. Computational logic and the selection task -- 17. Meta-logic...”
Cover Image
Read Now

14
Published 1997
Springer Berlin Heidelberg
“...This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational...”
Cover Image
Read Now

17
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Psychiatric Diagnosis from the Viewpoint of Computational Logic...”
Cover Image
Read Now

18
Published 2005
Springer Berlin Heidelberg
“... has recently increased its in?uence in the research and development of computational logic-based...”
Cover Image
Read Now

19
Published 2005
Springer Berlin Heidelberg
“... of computational logic based systems, while at the same time sign- cantly gaining from decades of research...”
Cover Image
Read Now

20
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... in Computational Logic: Challenges andOutcomes of the SOCS Project...”