Krzysztof R. Apt

Born: 1949

No bio available. Add one in Open Library.

Born: 1949

Books by Krzysztof R. Apt (50 max)

+ shelf+ list

Foundations of deductive databases and logic programming

1988

Krzysztof R. Apt, Jack Minker

+ shelf+ list

Verification of sequential and concurrent programs

1991

Krzysztof R. Apt

+ shelf+ list

Logic Programming Languages: Constraints, Functions, and Objects

1993

Krzysztof R. Apt, J. W. de Bakker

+ shelf+ list

Principles of constraint programming

2003

Krzysztof R. Apt

+ shelf+ list

Foundations of computer science II

1976

Krzysztof R. Apt, J. W. de Bakker

+ shelf+ list

Formal description of programming concepts

1991

Erich J. Neuhold, Paul, Manfred, Krzysztof R. Apt

+ shelf+ list

Meta-logics and logic programming

1995

Krzysztof R. Apt

+ shelf+ list

Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch)

1996

Krzysztof R. Apt, Ernst-Rüdiger Olderog

+ shelf+ list

From logic programming to Prolog

1997

Krzysztof R. Apt

+ shelf+ list

The Logic programming paradigm: a 25-year perspective

1999

Krzysztof R. Apt

+ shelf+ list

New perspectives on games and interaction

2008

Krzysztof R. Apt, Robert Van Rooij

+ shelf+ list

New perspectives on games and interaction

2008

Krzysztof R. Apt, Robert Van Rooij

+ shelf+ list

Verification of sequential and concurrent programs

2009

Krzysztof R. Apt

+ shelf+ list

Principles of constraint programming

2010

Krzysztof R. Apt

+ shelf+ list

Lectures in game theory for computer scientists

2011

Krzysztof R. Apt, Erich Grädel