国士舘大学
図書館・情報メディアセンター
ログイン
ヘルプ
×終了
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Logicprogramming.
図書(8 件)
選択行を:
10件
20件
50件
資料名
所蔵館
責任表示
出版者
出版年
所在
1
Extended restricted and-parallelism execution model and abstract machine for logic programming
中央図書館
by Si-En Chang.
1990
中央5階洋
548.164||C 33
2
Foundations of equational logic programming U.S. : alk. paper ( Lecture notes in computer science.[ Lecture notes in artificial intelligence.] )
中央図書館
Steffen Hölldobler.
Springer-Verlag
1989
中央5階洋
007.1||L 49||353
3
From logic design to logic programming : theorem proving techniques and P-functions U.S. : pbk. ( Lecture notes in computer science ; 271 )
中央図書館
Dominique Snyers, André Thayse.
Springer-Verlag
1987
中央5階洋
007.1||L 49||271
4
Interactive relational database design : a logic programming implementation U.S. ( Lecture notes in computer science ; 402 )
中央図書館
Tapan P. Bagchi, Vinay K. Chaudhri.
Springer-Verlag
1989
中央5階洋
007.1||L 49||402
5
Logic programming and knowledge engineering pbk. ( International computer science series )
中央図書館
Tore Amble.
Addison-Wesley
1987
中央5階洋
548.164||A 43
6
P-Prolog, a parallel logic programming language ( Series in computer science ; vol. 9 )
中央図書館
Rong Yang.
World Scientific
1987
中央5階洋
548.164||Y 57
7
Semantics and parallel-execution model of a logic-programming language
中央図書館
by Albert Chutsung Chen.
1991
中央5階洋
548.164||C 38
8
Termination proofs for logic programs Berlin : acid-free paper , New York : acid-free paper ( Lecture notes in computer science.[ Lecture notes in artificial intelligence.] )
中央図書館
Lutz Plümer.
Springer-Verlag
1990
中央5階洋
007.1||L 49||446
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。