Krzysztof Apt
Krzysztof Apt
4 ספרים במאגר
ספרים
Logic ProgrammingKrzysztof Apt
Logic Programming
Krzysztof Apt · 1992
Verification of Sequential and Concurrent ProgramsKrzysztof Apt
Verification of Sequential and Concurrent Programs
Krzysztof Apt · 2010
Meta-Logics and Logic ProgrammingKrzysztof Apt
Meta-Logics and Logic Programming
Krzysztof Apt · 2003
Principles of Constraint ProgrammingKrzysztof Apt
Principles of Constraint Programming
Krzysztof Apt · 2003