12 treff

Lectures in game theory for computer scientists
edited by Krzysztof R. Apt, Erich Grädel
Bok Engelsk 2011
Constraint logic programming using Eclipse
Krzysztof R. Apt and Mark Wallace
Bok Engelsk 2007
Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30-July 2, 2003 : selected papers
Joint ERCIM/CoLogNET International Workshop on ConstraintSolving and Constraint Logic Programming
Bok Engelsk 2004
Principles of constraint programming
Krzysztof R. Apt
Bok Engelsk 2003
New trends in constraints : joint ERCIM/Compulog Net workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers
Krzysztof R. Apt ... [et al.] (eds.)
Bok Engelsk 2000
The Logic programming paradigm : a 25-year perspective
K.R. Apt, ... [et al.] [eds.)
Bok Engelsk 1999
From Logic programming to Prolog
Krzysztof R. Apt
Bok Engelsk 1997
Logic programming languages : constraints, functions, and objects
edited by K. R. Apt, J. W. de Bakker, and...
Bok Engelsk 1993
Formal description of programming concepts
Erich J. Neuhold, Manfred Paul (eds.) ; w...
Bok Engelsk 1991
Verification of sequential and concurrent programs
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Bok Engelsk 1991
Foundations of deductive databases and logic programming
edited by Jack Minker ; contributors: Krz...
Bok Engelsk 1988
Logics and models of concurrent systems
NATO Advanced Study Institute on Logics and Models of Concurrent Systems
Bok Engelsk 1985