close
1.

図書

図書
edited by Jack Minker
出版情報: Boston, Mass. : Kluwer Academic Publishers, c2000
シリーズ名: The Kluwer international series in engineering and computer science ; SECS 597
所蔵情報: loading…
2.

図書

図書
Jorge Lobo, Jack Minker, Arcot Rajasekar
出版情報: Cambridge, Mass. : MIT Press, c1992
シリーズ名: Logic programming
所蔵情報: loading…