Cover Image
Read Now

1
Published 1985
Springer Berlin Heidelberg
Table of Contents: “...Temporal logic -- Using temporal logic for automatic verification of finite state systems...”
Cover Image
Read Now

2
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...I. Computing and Programming -- 1 Concurrent and Agent Programming -- Logic Programming and Multi...”
Cover Image
Read Now

3
by Apt, Krzysztof R.
Published 1993
MIT Press
Subjects: “...Logic programming...”
Cover Image
Read Now

4
by Apt, Krzysztof R.
Published 1988
M. Kaufmann Publishers
Subjects: “...Logic programming / fast...”
Cover Image
Read Now

5
by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1994
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

6
by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1997
Springer New York
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

7
by Apt, Krzysztof R., de Boer, Frank S., Olderog, Ernst-Rüdiger
Published 2009
Springer London
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

8
by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1991
Springer New York
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

9
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Tools -- Applications -- Teaching Constraints through Logic Puzzles -- Reduce-To-The-Opt – A Specialized...”
Cover Image
Read Now

10
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...-Based Language for Virtual Agents -- Constraint (Logic) Programming: A Survey on Research...”