Mesmo autor
Mais de Krzysztof R. Apt
Verification of Sequential and Concurrent Programs
1997
Principles of constraint programming
2003
The Logic programming paradigm
1999
Logic Programming Languages
1993
New perspectives on games and interaction
2008
Programmverifikation
1994
Meta-logics and logic programming
1995
From logic programming to Prolog
1997
Foundations of deductive databases and logic programming
1988
Logics and Models of Concurrent Systems
1985
Leituras vizinhas
Quem leu esse, leu também
Principles of constraint programming
Krzysztof R. Apt
Meta-logics and logic programming
Krzysztof R. Apt
Constraint Logic Programming using Eclipse
Krzysztof R. Apt
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt
From logic programming to Prolog
Krzysztof R. Apt
The Logic programming paradigm
Krzysztof R. Apt