Krzysztof R. Apt profile picture

Krzysztof R. Apt

Is this your author profile? Create an account to customize it!

Stand Alone

Lectures in game theory for computer scientists
Foundations of deductive databases and logic programming
Constraint logic programming using ECLiPSe
New trends in constraints
Principles of constraint programming
Logic programming languages
Meta-logics and logic programming
The Logic Programming Paradigm
New perspectives on games and interaction
Programmverifikation
From Logic Programming to Prolog
Logics and Models of Concurrent Systems (Nato ASI Subseries F:)
Logics and Models of Concurrent Systems
Verification of Sequential and Concurrent Programs
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge

See All