نتایج جستجو
![Constraint Logic Programming using Eclipse](http://cdn.ketabkoo.com/covers/6/632187-n.jpg)
Constraint Logic Programming using Eclipse
Krzysztof R. Apt, 2007![From Logic Programming to Prolog](http://cdn.ketabkoo.com/covers/6/641549-n.jpg)
From Logic Programming to Prolog
Krzysztof R. Apt, 1996![From logic programming to Prolog](http://cdn.ketabkoo.com/covers/6/641551-n.jpg)
From logic programming to Prolog
Apt K.R., 1997![Logic programming languages : constraints, functions, and objects](http://cdn.ketabkoo.com/covers/6/654836-n.jpg)
Logic programming languages : constraints, functions, and objects
Krzysztof R Apt, 1993![Logic programming languages : constraints, functions, and objects](http://cdn.ketabkoo.com/covers/6/654839-n.jpg)
Logic programming languages : constraints, functions, and objects
Apt, Krzysztof R., 1993![Logic Programming: The Joint [9th] International Conference & Symposium](http://cdn.ketabkoo.com/covers/6/654885-n.jpg)
Logic Programming: The Joint [9th] International Conference & Symposium
Krzysztof Apt (ed.), 1992![Principles of constraint programming](http://cdn.ketabkoo.com/covers/6/664441-n.jpg)
Principles of constraint programming
Krzysztof Apt, 2003![Principles of Constraint Programming](http://cdn.ketabkoo.com/covers/6/664442-n.jpg)
Principles of Constraint Programming
Krzysztof Apt, 2003![The Logic programming paradigm : a 25-year perspective](http://cdn.ketabkoo.com/covers/6/682295-n.jpg)
The Logic programming paradigm : a 25-year perspective
Krzysztof Apt, 1999![Verification of sequential and concurrent programs](http://cdn.ketabkoo.com/covers/7/741586-n.jpg)
Verification of sequential and concurrent programs
Krzysztof R. Apt, 2009![Verification of Sequential and Concurrent Programs](http://cdn.ketabkoo.com/covers/7/741587-n.jpg)
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, 1997![Verification of Sequential and Concurrent Programs](http://cdn.ketabkoo.com/covers/7/741588-n.jpg)
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, 2009![Verification of Sequential and Concurrent Programs](http://cdn.ketabkoo.com/covers/7/741589-n.jpg)
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, 1991![Germany's New Security Demographics: Military Recruitment in the Era of Population Aging](http://cdn.ketabkoo.com/covers/7/743611-n.jpg)
Germany's New Security Demographics: Military Recruitment in the Era of Population Aging
Wenke Apt (auth.), 2014![New Perspectives on Games and Interaction](http://cdn.ketabkoo.com/covers/8/878209-n.jpg)
New Perspectives on Games and Interaction
Krzysztof R. Apt, 2009![Reflective Knowledge: Apt Belief and Reflective Knowledge](http://cdn.ketabkoo.com/covers/9/980654-n.jpg)
Reflective Knowledge: Apt Belief and Reflective Knowledge
Ernest Sosa, 2009![Lectures in Game Theory for Computer Scientists](http://cdn.ketabkoo.com/covers/9/992919-n.jpg)
Lectures in Game Theory for Computer Scientists
Krzysztof R. Apt, 2011![Lectures in Game Theory for Computer Scientists](http://cdn.ketabkoo.com/covers/9/992920-n.jpg)