Krzysztof R. Apt
Krzysztof R. Apt
12 ספרים במאגר
ספרים
New trends in constraintsKrzysztof R. Apt
New trends in constraints
Krzysztof R. Apt · 2000
The Logic Programming ParadigmKrzysztof R. Apt
The Logic Programming Paradigm
Krzysztof R. Apt · 1999
Verification of Sequential and Concurrent ProgramsKrzysztof R. Apt
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt · 1997
Verification of Sequential and Concurrent ProgramsKrzysztof R. Apt
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt · 1991
Constraint logic programming using ECLiPSeKrzysztof R. Apt
Constraint logic programming using ECLiPSe
Krzysztof R. Apt · 2007
Logic Programming LanguagesKrzysztof R. Apt
Logic Programming Languages
Krzysztof R. Apt · 1993
Logics and Models of Concurrent SystemsKrzysztof R. Apt
Logics and Models of Concurrent Systems
Krzysztof R. Apt · 1985
Edsger Wybe DijkstraKrzysztof R. Apt
Edsger Wybe Dijkstra
Krzysztof R. Apt · 2022
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and KnowledgeKrzysztof R. Apt
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Krzysztof R. Apt · 2011
Lectures in Game Theory for Computer ScientistsKrzysztof R. Apt
Lectures in Game Theory for Computer Scientists
Krzysztof R. Apt · 2011
Recent Advances in ConstraintsKrzysztof R. Apt
Recent Advances in Constraints
Krzysztof R. Apt · 2004
ProgrammverifikationKrzysztof R. Apt
Programmverifikation
Krzysztof R. Apt · 1994