Skip to contents

Apt, Krzysztof R. [Editor] ; Joint International Workshop on Constraint Solving and Constraint Logic Programming 2003 Budapest

Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, Budapest, Hungary, June 30 - July 2, 2003 ; selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 3010
Apt, Krzysztof R. [Editor]

The logic programming paradigm : a 25-year perspective

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1999

Published in: Artificial intelligence
Apt, Krzysztof R. [Editor] ; European Research Consortium for Informatics and Mathematics, European Network of Excellence in Computational Logic

New trends in constraints : joint ERCIM/Compulog Net workshop, Paphos, Cyprus, October 25 - 27, 1999 ; selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2000

Published in: Lecture notes in computer science ; 1865
Apt, Krzysztof R. [Other]

Foundations of computer science / 2,1 - [2. print.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam: Mathemat. Centrum, 1979

Published in: Foundations of computer science / J. W. de Bakker. Mathematisch Centrum <Amsterdam> ; 2,1,79 - Stichting Mathematisch Centrum: Mathematical Centre tracts ; 81,79
Apt, Krzysztof R. [Other]

Foundations of computer science / 2,2 - [2. print.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam: Mathemat. Centrum, 1979

Published in: Foundations of computer science / J. W. de Bakker. Mathematisch Centrum <Amsterdam> ; 2,2,79 - Stichting Mathematisch Centrum: Mathematical Centre tracts ; 82,79
Apt, Krzysztof R. [Author]

Principles of constraint programming - [Digitally print. version (with minor corr.)]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Pr., 2009
Apt, Krzysztof R. [Author] ; Wallace, Mark [Other]

Constraint logic programming using ECLiPSe

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 2007
Apt, Krzysztof R. [Author]

Principles of constraint programming - [Reprint]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 2006
Apt, Krzysztof R. [Author]

From logic programming to Prolog - [1. publ.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London; Munich [u.a.]: Prentice Hall, 1997

Published in: Prentice-Hall international series in computer science
Apt, Krzysztof R. [Editor]; Turini, Franco [Other]

Meta-logics and logic programming

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass. [u.a.]: MIT Press, 1995

Published in: Logic programming
Minker, Jack [Editor]; Apt, Krzysztof R. [Contributor] ; Workshop on Foundations of Deductive Databases and Logic Programming 1986 Washington, DC

Foundations of deductive databases and logic programming

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Los Altos, Calif.: Kaufmann, 1988
Apt, Krzysztof R. [Editor]; Grädel, Erich [Editor]

Lectures in game theory for computer scientists

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge University Press, 2011
Apt, Krzysztof R. [Author]; Olderog, Ernst-Rüdiger [Author]

Programmverifikation : sequentielle, parallele und verteilte Programme

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1994

Published in: Springer-Lehrbuch
Apt, Krzysztof R. [Author]; Olderog, Ernst-Rüdiger [Author]

Verification of sequential and concurrent programs - [2. ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Heidelberg [u.a.]: Springer, 1997

Published in: Graduate texts in computer science
Apt, Krzysztof R. [Author]; Olderog, Ernst-Rüdiger [Author]

Verification of sequential and concurrent programs

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Heidelberg [u.a.]: Springer, 1991

Published in: Texts and monographs in computer science
Neuhold, Erich J. [Editor]; Paul, Manfred [Other]; Apt, Krzysztof R. [Other] ; International Federation for Information Processing Working Group Formal Description of Programming Concepts

Formal description of programming concepts : [based on a seminar]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1991

Published in: IFIP series on computer graphics- State-of-the-art reports / IFIP
Apt, Krzysztof R. [Author] ; Association for Computing Machinery

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge

View online
Schließen

Access

http://dl.acm.org/citation.cfm?id=2000378

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2011

Published in: ACM Digital Library- ACM Other conferences
Apt, Krzysztof R. [Author]

Principles of constraint programming

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge: Cambridge University Press, 2003
Apt, Krzysztof R. [Author] ; Fages, François [Other]; Rossi, Francesca [Other]; Szeredi, Peter [Other]; Váncza, Josef [Other]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

Published in: Lecture notes in computer science ; 3010
Apt, Krzysztof R. [Author] ; Fages, François [Other]; Rossi, Francesca [Other]; Szeredi, Péter [Other]; Váncza, Josef [Other]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2004

Published in: Lecture notes in computer science ; 301000

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication