同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: Programmation logique Périodiques)
該当件数:4件
The journal of logic programming
New York : Elsevier Science
電子ジャーナル <OJ00033348>
The journal of logic and algebraic programming
[Amsterdam] ; [New York] : Elsevier Science , ©2001-©2014
電子ジャーナル <OJ00033344>
Journal of automated reasoning
: Kluwer Academic Publishers. - Netherlands : Springer Netherlands
電子ジャーナル <OJ00031480>
Journal of logic and computation
[Oxford, England] : Oxford University Press
電子ジャーナル <OJ00033346>