Krzysztof R. Apt

Identifiers

Open LibraryOL7574395A

Top Subjects

Computer science (4)
Logic design (2)
Artificial intelligence (2)
Computer Communication Networks (1)
Computer software (1)
Database management (1)
Logic programming (1)

Books by Krzysztof R. Apt

Total count: 10

Logics and Models of Concurrent Systems

Springer Berlin Heidelberg1985-01-01
Verification of Sequential and Concurrent Programs

Springer New York1991-01-01
Verification of Sequential and Concurrent ProgramsSecond Edition.

Springer New York1997-01-01
The Logic Programming ParadigmA 25-Year Perspective

Springer Berlin Heidelberg1999-01-01
New Trends in ConstraintsJoint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers

Springer2003-01-01
Recent Advances in ConstraintsJoint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers

Springer London, Limited2004-01-01
Constraint Logic Programming Using Eclipse

Cambridge University Press2006-01-01
Lectures in Game Theory for Computer Scientists

Cambridge University Press2011-01-01
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge

Association for Computing Machinery2011-01-01
Edsger Wybe DijkstraHis Life, Work, and Legacy

Morgan & Claypool Publishers2022-01-01