edited by Krzysztof R. Apt, Erich Grädel

Cambridge University Press 2011

: hbk

所蔵館8館

Krzysztof R. Apt

Cambridge University Press 2009

: pbk

所蔵館1館

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

Springer c2009 3rd, extended ed Texts in computer science

所蔵館2館

edited by Krzysztof R. Apt, Robert Van Rooij

Amsterdam University Press c2008 Texts in logic and games v. 4

所蔵館1館

Krzysztof R. Apt and Mark G. Wallace

Cambridge University Press 2007

所蔵館5館

Krzysztof R. Apt ... [et al.] (eds.)

Springer c2004 Lecture notes in computer science 3010 . Lecture notes in artificial intelligence

所蔵館19館

Krzysztof R. Apt

Cambridge University Press 2003

所蔵館16館

Krzysztof R. Apt ... [et al.]

Springer c2000 Lecture notes in computer science 1865 . Lecture notes in artificial intelligence

所蔵館30館

K.R. Apt ... [et al.] (Eds.)

Springer c1999 Artificial intelligence

: hardcover : alk. pap

所蔵館25館

Krzysztof R. Apt, Ernst-Rüdiger Olderog

Springer c1997 2nd ed Graduate texts in computer science

所蔵館24館

Krzysztof R. Apt

Prentice Hall c1997 Prentice-Hall International series in computer science

所蔵館7館

edited by Krzysztof R. Apt and Franco Turini

MIT Press c1995 Logic programming

所蔵館22館

Krzysztof R. Apt, Ernst-Rüdiger Olderog

Springer c1994 Springer-Lehrbuch

所蔵館2館

edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten

MIT Press c1993 Logic programming

所蔵館21館

edited by Krzysztof Apt

MIT Press c1992 Logic programming

所蔵館23館

Erich J. Neuhold, Manfred Paul (eds.) ; with contributions by K.R. Apt ... [et al.]

Springer-Verlag c1991 IFIP state-of-the-art reports

gw , us

所蔵館12館

Krzysztof R. Apt, Ernst-Rüdiger Olderog

Springer-Verlag c1991 Texts and monographs in computer science

: New York , : Berlin

所蔵館18館

contributors, Krzysztof R. Apt ... [et al.] ; edited by Jack Minker

M. Kaufmann Publishers c1987

所蔵館51館

edited by Krzysztof R. Apt

Springer-Verlag c1985 NATO ASI series ser. F . Computer and systems sciences ; v. 13

: Germany , : U.S.

所蔵館27館

K.R. Apt, (ed.), J.W. De Bakker, (ed.)

Mathematisch Centrum 1976 Mathematical Centre tracts 81, 82

v. 1 , v. 2

所蔵館6館