Yazar
Krzysztof R 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 · Brand: Springer
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 R. Apt · Springer New York
444 sayfa · 1991
Logic design / Computer science / Computer software
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 · 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, Jack Minker · M. Kaufmann Publishers
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, Ernst-Rüdiger Olderog · Springer Berlin Heidelberg
Sayfa sayısı yok · 1994
Programmverifikation
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, Robert Van Rooij · Amsterdam University Press
328 sayfa · 2008
Congresses / Symbolic and mathematical Logic / Game theory / Economics, finance, business & management / Mathematics
Krzysztof R. Apt, J. W. de Bakker · The MIT Press
223 sayfa · 1993
Logic programming / Programming languages (electronic computers)
Krzysztof R. Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi · Springer
338 sayfa · 2000
Constraint programming (computer science) / Congresses / Computer science / Logic design / Artificial intelligence
Krzysztof R. Apt · Association for Computing Machinery
Sayfa sayısı yok · 2011
Artificial intelligence / Knowledge, theory of
Krzysztof R. Apt, François Fages, Francesca Rossi, Peter Szeredi, Josef Váncza · Springer
Sayfa sayısı yok · 2004
Kategori yok