Yazar
Krzysztof Apt
30 cilt bulundu.
Krzysztof R. Apt · Cambridge University Press
414 sayfa · 2003
Constraint programming (Computer science) / Computer Technology / Nonfiction
Krzysztof R. Apt · MIT Press
339 sayfa · 1995
Logic programming / Symbolic and mathematical Logic / Logic, symbolic and mathematical
Krzysztof R. Apt, Mark Wallace · Cambridge University Press
329 sayfa · 2006
Logic programming / Constraint programming (Computer science) / Programmation par contraintes / Programmation logique / Constraint programming (computer science)
Krzysztof R. Apt · Springer New York
446 sayfa · 1997
Logic design / Computer science / Computer software, verification
Krzysztof R. Apt · Prentice Hall
328 sayfa · 1997
Logic programming / Prolog (Computer program language) / Literary collections
Krzysztof R. Apt · Springer-Verlag
403 sayfa · 1991
Verification / Computer software / Vérification / Logiciels / Programmverifikation
Krzysztof Apt · The MIT Press
869 sayfa · 1992
Logic programming / Congresses / Logische Programmierung / Programmation logique / Logisch programmeren
Krzysztof R Apt · Cambridge University Press
Sayfa sayısı yok · 2007
Computer Technology / Nonfiction / Constraint programming (computer science) / Logic programming
Krzysztof R. Apt · Springer
502 sayfa · 2009
Verification / Computer software / Logic design / Computer science / Computer software, verification
Krzysztof R. Apt · Cambridge University Press
Sayfa sayısı yok · 2010
Constraint programming (Computer science) / Constraint Programmierung / Constraint programming (computer science)
Krzysztof R. Apt · Springer Berlin Heidelberg
456 sayfa · 1999
Computer science / Artificial intelligence / Database management / Logic programming
Krzysztof R. Apt · Springer Berlin Heidelberg
Sayfa sayısı yok · 1985
Computer Communication Networks / Computer science / Parallel processing (electronic computers) / Electronic data processing, distributed processing
Krzysztof R. Apt · Springer New York
444 sayfa · 1991
Logic design / Computer science / Computer software
Krzysztof R. Apt, Jack Minker · Elsevier Science & Technology Books
746 sayfa · 1988
Logic programming / Deductive databases
Krzysztof R. Apt, Erich Grädel · Cambridge University Press
295 sayfa · 2011
Mathematics / Computer science / Game theory / Computer science, mathematics
Krzysztof R. Apt, J. W. de Bakker · MIT Press
214 sayfa · 1993
Logic programming languages / Logic programming / Programming languages (electronic computers)
Krzysztof R. Apt, Robert Van Rooij · Amsterdam University Press
328 sayfa · 2008
Congresses / Symbolic and mathematical Logic / Game theory / Economics, finance, business & management / Mathematics
Krzysztof R. Apt, Robert Van Rooij · Amsterdam Univ. Press
328 sayfa · 2008
Congresses / Symbolic and mathematical Logic / Game theory / Game Theory / MATHEMATICS
Krzysztof R. Apt, Ernst-Rüdiger Olderog · Springer Berlin Heidelberg
Sayfa sayısı yok · 1994
Programmverifikation
Krzysztof R. Apt · Association for Computing Machinery
Sayfa sayısı yok · 2011
Artificial intelligence / Knowledge, theory of
Krzysztof Apt, Franco Turini · MIT Press
356 sayfa · 2003
Logic programming / Logic, symbolic and mathematical
Krzysztof R. Apt, François Fages, Francesca Rossi, Peter Szeredi, Josef Váncza · Springer London, Limited
Sayfa sayısı yok · 2004
Kategori yok