東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Logic programming)
該当件数:9件
Logic programming : new frontiers / edited by D.R. Brough
Oxford : Intellect. - Dordrecht : Kluwer Academic , 1992
図書
Implementations of logic programming systems / edited by Evan Tick, Giancarlo Succi
Boston : Kluwer Academic Publishers , 1994
Logic programming : proceedings of the sixth international conference / edited by Giorgio Levi and Maurizio Martelli
: pbk. - Cambridge, Mass. : MIT Press , c1989. - (Logic programming)
Logic programming : proceedings of the fifth international conference and symposium / edited by Robert A. Kowalski and Kenneth A. Bowen
: set,v. 1,v. 2. - Cambridge, Mass. : MIT Press , c1988. - (MIT Press series in logic programming)
Logic programming : proceedings of the Fourth International Conference / edited by Jean-Louis Lassez
v. 1 - : set. - Cambridge, Mass. : MIT Press , c1987. - (MIT Press series in logic programming)
Proceedings : 1986 Symposium on Logic Programming, September 22-25, 1986, Westin Hotel Utah, Salt Lake City, Utah
: pbk.,: microfiche,: case. - Washington, D.C. : IEEE Computer Society Press. - Los Angeles, CA : Order from IEEE Computer Society , c1986
Constraints in computational logics : theory and applications : International Summer School, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures / Hubert Comon, Claude Marché, Ralf Treinen (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2002)
Logic programming with Prolog / Max Bramer
[London ; New York] : Springer , c2005
Logic and integer programming / H. Paul Williams
: hbk. - New York : Springer , c2009. - (International series in management science/operations research ; 130)