Krzysztof R. Apt
Krzysztof R. Apt
1949
8 ספרים במאגר
ספרים
Lectures in game theory for computer scientistsKrzysztof R. Apt
Lectures in game theory for computer scientists
Krzysztof R. Apt · 2011
Verification of sequential and concurrent programsKrzysztof R. Apt
Verification of sequential and concurrent programs
Krzysztof R. Apt · 2009
New perspectives on games and interactionKrzysztof R. Apt
New perspectives on games and interaction
Krzysztof R. Apt · 2008
Foundations of deductive databases and logic programmingKrzysztof R. Apt
Foundations of deductive databases and logic programming
Krzysztof R. Apt · 2014
Principles of constraint programmingKrzysztof R. Apt
Principles of constraint programming
Krzysztof R. Apt · 2010
New perspectives on games and interactionKrzysztof R. Apt
New perspectives on games and interaction
Krzysztof R. Apt · 2008
Logic programming languagesKrzysztof R. Apt
Logic programming languages
Krzysztof R. Apt · 1993
ProgrammverifikationKrzysztof R. Apt
Programmverifikation
Krzysztof R. Apt · 1996