Cover Image
Read Now

1
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

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

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

4
Published 2014
Springer International Publishing
“...This book constitutes the proceedings of the 15th International Workshop on Computational Logic...”
Cover Image
Read Now

5
Published 2010
Springer Berlin Heidelberg
“... is to provide a forum for discussing techniques, based on computational logic, for representing, programming...”
Cover Image
Read Now

6
Published 2008
Springer Berlin Heidelberg
“... Workshop on Computational Logic for Multi-Agent Systems, CLIMA VIII, held in Porto, Portugal, in September...”
Cover Image
Read Now

7
Published 2010
Springer Berlin Heidelberg
Cover Image
Read Now

8
Published 2012
Springer Berlin Heidelberg
“...This book constitutes the proceedings of the 13th International Workshop on Computational Logic...”
Cover Image
Read Now

9
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

10
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... in Computational Logic: Challenges andOutcomes of the SOCS Project...”
Cover Image
Read Now

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

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

13
Published 2024
Springer Nature Switzerland
Table of Contents: “...Computational Logic -- The Early Development of SETL -- Onset and Today’s Perspectives...”
Cover Image
Read Now

15
Published 2009
Springer Berlin Heidelberg
“... Workshop on Computational Logic for Multi-Agent Systems, CLIMA IX, held in Dresden, Germany, in September...”
Cover Image
Read Now

16
Published 2020
Springer International Publishing
Cover Image
Read Now

17
Published 2013
Springer Berlin Heidelberg
Cover Image
Read Now

18
by Derrick, John, Boiten, Eerke
Published 2018
Springer International Publishing
Subjects: “...Computer logic...”
Cover Image
Read Now

19
by Martínez, Luis, Rodriguez, Rosa M., Herrera, Francisco
Published 2015
Springer International Publishing
Subjects: “...Computer logic...”
Cover Image
Read Now

20
by Rautenberg, Wolfgang
Published 2008
Vieweg+Teubner Verlag
Subjects: “...Computer logic...”