Cover Image
Read Now

1
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

2
Published 1999
Springer Berlin Heidelberg
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

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

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

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

11
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

13
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

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

15
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

16
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

17
Published 2013
Springer Berlin Heidelberg
“...This book constitutes the proceedings of the 14th International Workshop on Computational Logic...”
Cover Image
Read Now

18
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... on Computational Logic -- Using Antimodels to Define Agents’ Strategy -- Multi-Agent FLUX for the Gold Mining...”