close
1.

図書

図書
edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten
出版情報: Cambridge, Mass. : MIT Press, c1993
シリーズ名: Logic programming
所蔵情報: loading…
2.

図書

図書
edited by Krzysztof Apt
出版情報: Cambridge, Mass. : MIT Press, c1992
シリーズ名: Logic programming
所蔵情報: loading…
3.

図書

図書
contributors, Krzysztof R. Apt ... [et al.] ; edited by Jack Minker
出版情報: Los Altos, Calif. : M. Kaufmann Publishers, c1987
所蔵情報: loading…
4.

図書

図書
K.R. Apt ... [et al.] (Eds.)
出版情報: Berlin ; New York : Springer, c1999
シリーズ名: Artificial intelligence
所蔵情報: loading…
5.

図書

図書
edited by Krzysztof R. Apt and Franco Turini
出版情報: Cambridge, Mass. : MIT Press, c1995
シリーズ名: Logic programming
所蔵情報: loading…
6.

図書

図書
edited by Krzysztof R. Apt
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 13
所蔵情報: loading…
7.

図書

図書
K.R. Apt, (ed.), J.W. De Bakker, (ed.)
出版情報: Amsterdam : Mathematisch Centrum, 1976
シリーズ名: Mathematical Centre tracts ; 81, 82
所蔵情報: loading…