京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: #Logic programming)
該当件数:2件
Parallel logic programming techniques / Stephen Taylor ; with a foreword by Ehud Shapiro
: uk,: us. - London ; Englewood Cliffs, N.J. ; Tokyo : Prentice-Hall International , c1989
図書
Logic-based 0-1 constraint programming / Peter Barth
Boston : Kluwer Academic Publishers , 1995. - (Operations research/computer science interfaces series / series editor, Ramesh Sharda ; ORCS 5)