Apt, Krzysztof R. books & textbook
Brief History Of Mathematics For Curious Minds, A
WSPC /2023-12-11 Paperback / 222 Pages
isbn-10: 9811281491 / isbn-13: 9789811281495
Lectures in Game Theory for Computer Scientists
Apt, Krzysztof R. Grädel, Erich
Cambridge University Press /2011-02-14 Hardcover / 308 Pages
isbn-10: 0521198666 / isbn-13: 9780521198660
Logics and Models of Concurrent Systems (NATO ASI Subseries F:)
Springer /2011-12-30 Paperback / 508 Pages
isbn-10: 3642824552 / isbn-13: 9783642824555
Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, ... (Lecture Notes in Computer Science, 3010)
Apt, Krzysztof R. Fages, Francois Rossi, Francesca Szeredi, Peter Váncza, Josef
Springer /2004-04-07 Paperback / 296 Pages
isbn-10: 3540218343 / isbn-13: 9783540218340
Logic Programming Languages: Constraints, Functions, and Objects (MIT Press Classics)
Apt, Krzysztof R. De Bakker, J. W. Rutten, J. M.
MIT Press /1993-03-02 Paperback / 224 Pages
isbn-10: 0262511673 / isbn-13: 9780262511674
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Springer /1997T Paperback / 364 Pages
isbn-10: 0387948961 / isbn-13: 9780387948966
The Logic Programming Paradigm: A 25-Year Perspective (Artificial Intelligence)
Apt, Krzysztof R. Marek, Victor W. Truszczynski, Mirek Warren, David S.
Springer /2011-09-19 Paperback / 472 Pages
isbn-10: 3642642497 / isbn-13: 9783642642494
Edsger Wybe Dijkstra: His Life, Work, and Legacy (Acm Books)
ACM Books /2022-07-14 Hardcover / 574 Pages
isbn-10: 1450397735 / isbn-13: 9781450397735
Constraint Logic Programming using Eclipse
Apt, Krzysztof R. Wallace, Mark
Cambridge University Press /2007-01-15 Hardcover / 348 Pages
isbn-10: 0521866286 / isbn-13: 9780521866286
Principles of Constraint Programming by Krzysztof Apt (2003-09-15)
Cambridge University Press; 1 edition (2003-09-15) /1656-01-01 Hardcover
