close
1.

図書

図書
Kenneth A. Bowen
出版情報: Dordrecht, Holland : D. Reidel Pub. Co., c1979
シリーズ名: Synthese library ; v. 127
所蔵情報: loading…
2.

図書

図書
edited by Robert A. Kowalski and Kenneth A. Bowen
出版情報: Cambridge, Mass. : MIT Press, c1988
シリーズ名: MIT Press series in logic programming
所蔵情報: loading…