Author

Krzysztof R. Apt

born 1949 15 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

15 books
Principles of constraint programming

Principles of constraint programming

2003
From logic programming to Prolog

From logic programming to Prolog

1997
Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

1991
Formal description of programming concepts

Formal description of programming concepts

Year unknown Erich J. Neuhold, Paul, Manfred, and Krzysztof R. Apt
Foundations of computer science II

Foundations of computer science II

Year unknown Krzysztof R. Apt and J. W. de Bakker
Foundations of deductive databases and logic programming

Foundations of deductive databases and logic programming

Year unknown Krzysztof R. Apt and Jack Minker
Lectures in game theory for computer scientists

Lectures in game theory for computer scientists

Year unknown Krzysztof R. Apt and Erich Grädel
Logic programming languages

Logic programming languages

Year unknown Krzysztof R. Apt and J. W. de Bakker
Meta-logics and logic programming

Meta-logics and logic programming

Year unknown
New perspectives on games and interaction

New perspectives on games and interaction

Year unknown Krzysztof R. Apt and Robert Van Rooij
New perspectives on games and interaction

New perspectives on games and interaction

Year unknown Krzysztof R. Apt and Robert Van Rooij
Principles of constraint programming

Principles of constraint programming

Year unknown
Programmverifikation

Programmverifikation

Year unknown Krzysztof R. Apt and Ernst-RĂ¼diger Olderog
The Logic programming paradigm

The Logic programming paradigm

Year unknown
Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Year unknown

Fetched from OpenLibrary. Some translations may appear as separate works.