Reading Length
Home
Speed Tests
Login
Krzysztof Apt
Identifiers
Open Library
OL2768798A
Top Subjects
Programming languages (2)
Logic programming (2)
Computers - Languages / Programming (2)
Computers (2)
Computer Books: General (2)
Programming - Object Oriented Programming (2)
Artificial intelligence (1)
Books by Krzysztof Apt
Total count: 5
Logic Programming
The Joint [9th] International Conference & Symposium (Logic Programming)
The MIT Press
1992-10-27
Concepts in Programming Languages
1st edition
Cambridge University Press
2001-12-15
Meta-Logics and Logic Programming
MIT Press
2003-01-01
Principles of Constraint Programming
Cambridge University Press
2003-01-01
Verification of Sequential and Concurrent Programs
Springer
2010-05-03
