検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
件名：LCSH:Logicprogramming.
選択行を：
 資料名所蔵館責任表示出版者出版年所在
1書影Extended restricted and-parallelism execution model and abstract machine for logic programming 中央図書館by Si-En Chang. 1990中央５階洋 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-Verlag1989中央５階洋 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-Verlag1987中央５階洋 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-Verlag1989中央５階洋 007.1||L 49||402
5書影Logic programming and knowledge engineering pbk. ( International computer science series )中央図書館Tore Amble.Addison-Wesley1987中央５階洋 548.164||A 43
6書影P-Prolog, a parallel logic programming language ( Series in computer science ; vol. 9 )中央図書館Rong Yang.World Scientific1987中央５階洋 548.164||Y 57
7書影Semantics and parallel-execution model of a logic-programming language 中央図書館by Albert Chutsung Chen. 1991中央５階洋 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-Verlag1990中央５階洋 007.1||L 49||446
選択行を：
▲ページトップへ