東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA76.73.P76)
該当件数:5件
Implementations of Prolog / editor, J.A. Campbell
: U.S. - : U.K. : pbk. - Chichester, West Sussex : E. Horwood. - New York : Halsted Press , 1984. - (Ellis Horwood series in artificial intelligence)
図書
Prolog and databases : implementations and new directions / editors, Peter M.D. Gray and Robert J. Lucas
: Halsted Press,: E. Horwood. - Chichester : E. Horwood. - New York : Halsted Press , 1988. - (Ellis Horwood series in artificial intelligence)
Execution models of Prolog for parallel computers / Peter Kacsuk
: us,: uk. - London : Pitman. - Cambridge, Mass. : MIT Press , 1990. - (Research monographs in parallel and distributed computing)
A PROLOG database system / Deyi Li
Research Studies Press,:Wiley. - Letchworth, Hertfordshire, England : Research Studies Press. - New York : Wiley , c1984. - (Electronic & electrical engineering research studies ; . Computer engineering series / F.G. Heath ; 3)
Concurrent Prolog : collected papers / edited by Ehud Shapiro
: set,v. 1,v. 2. - Cambridge, Mass. : MIT Press , c1987. - (MIT Press series in logic programming)