Cover Image
Read Now

1
by Mogavero, Fabio
Published 2013
Atlantis Press
Table of Contents: “...Graded Computation Tree Logic -- Minimal Model Quantifiers -- Reasoning About Strategies...”
Cover Image
Read Now

2
by Birtwistle, Graham
Published 1996
Springer
Cover Image
Read Now

3
by Kakas, Antonis C
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: “...Mathematical Logic and Formal Languages...”
Cover Image
Read Now

4
by Kakas, Antonis C
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: “...Mathematical Logic and Formal Languages...”
Cover Image
Read Now

5
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Computational Logician -- Bob Kowalski: A Portrait -- Bob Kowalski: A Portrait -- Directions for Logic...”
Cover Image
Read Now

7
by Snyers, Dominique, Thayse, Andre
Published 1987
Springer Berlin Heidelberg
Table of Contents: “...Theorem in proving and P-functions -- Grammars, logics and declarative programming -- Grammars...”
Cover Image
Read Now

8
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... of Galois connections and residuation, with applications to negation, implication, and various logical...”
Cover Image
Read Now

9
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Completion in the SLG-WAM -- Doctoral Consortium -- Research Summary: Tabled Evaluation for Transaction Logic...”
Cover Image
Read Now

13
by Voronkov, A.
Published 1992
Springer
Cover Image
Read Now

15
by Schlechta, Karl
Published 1997
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Formal Languages...”
Cover Image
Read Now

16
by Stuckey, Peter J
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

17
by Palamidessi, Catuscia
Published 2003
Springer Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

18
by Demoen, Bart
Published 2004
Springer Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

19
by Codognet, Philippe
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

20
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Invited Speakers -- Representing Arithmetic Constraints with Finite Automata: An Overview -- Logic...”