1
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... Programs -- Research Summary: Logic Programming for Massively Distributed Systems -- Research Summary...

2
by Warren, David S.
Published 1993
MIT Press
Subjects: ...Logic programming / Congresses...

3
Published 1999
Springer Berlin Heidelberg
Table of Contents: ...I. Computing and Programming -- 1 Concurrent and Agent Programming -- Logic Programming and Multi...

4
Published 2023
Springer Nature Switzerland
Table of Contents: ... -- Simultaneously Teaching Mathematics and Prolog in School Curricula: A Mutual Benefit -- Logic Programming...

5
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... -- Automatic Coding Rule Conformance Checking Using Logic Programming -- Comprehension and Dependency Analysis...