Logic programming

• 資料種別: 図書
• タイトル: Logic programming
• 出版事項: MIT Press
• 出版地（国名コード）: us
• 対象利用者: 一般
• 一般注記: Continued:MIT Press in logic programming
• 関連情報: Logic programming : proceedings of the 1997 international symposium; https://cir.nii.ac.jp/crid/1130000793680360704; Logic programming : proceedings of the 1991 international symposium; https://cir.nii.ac.jp/crid/1130000794091257728; Foundations of disjunctive logic programming; https://cir.nii.ac.jp/crid/1130000794096789376; Logic programming : proceedings of the 1999 International Conference on Logic Programming; https://cir.nii.ac.jp/crid/1130000794307039104; Logic programming : Proceedings of the Fourteenth International Conference on Logic Programming; https://cir.nii.ac.jp/crid/1130000795022305920; Meta-logics and logic programming; https://cir.nii.ac.jp/crid/1130000795998811776; Logic programming : Proceedings of the Tenth International Conference on Logic Programming; https://cir.nii.ac.jp/crid/1130000797315224192; Logic programming languages : constraints, functions, and objects; https://cir.nii.ac.jp/crid/1130000798397673472; Logic programming : Proceedings of the eighth International Conference; https://cir.nii.ac.jp/crid/1130282269604516864; Logic programming : proceedings of the 1993 International Symposium; https://cir.nii.ac.jp/crid/1130282269674322944; Eco-logic : logic-based approaches to ecological modelling; https://cir.nii.ac.jp/crid/1130282269755889920; The Gödel programming language; https://cir.nii.ac.jp/crid/1130282269901582848; Logic programming : proceedings of the 1998 Joint International Conference and Symposium on Logic Programming; https://cir.nii.ac.jp/crid/1130282270038205312; Logic programming : proceedings of the North American Conference, 1989; https://cir.nii.ac.jp/crid/1130282270382989056; Logic programming : proceedings of the joint International Conference and Symposium on Logic Programming; https://cir.nii.ac.jp/crid/1130282270528801280; The craft of Prolog; https://cir.nii.ac.jp/crid/1130282270533894016; The Practice of Prolog; https://cir.nii.ac.jp/crid/1130282270986741248; Logic programming : proceedings of the 1990 North American conference; https://cir.nii.ac.jp/crid/1130282271116484352; Types in logic programming; https://cir.nii.ac.jp/crid/1130282271155951744; Logic programming : proceedings of the seventh international conference; https://cir.nii.ac.jp/crid/1130282271234137600; Warren's abstract machine : a tutorial reconstruction; https://cir.nii.ac.jp/crid/1130282271374961024; Constraint satisfaction in logic programming; https://cir.nii.ac.jp/crid/1130282271799681664; Logic programming : proceedings of the sixth international conference; https://cir.nii.ac.jp/crid/1130282272483275136; Inductive logic programming : from machine learning to software engineering; https://cir.nii.ac.jp/crid/1130282272539399424; A grammatical view of logic programming; https://cir.nii.ac.jp/crid/1130282272607145728; Meta-programming in logic programming; https://cir.nii.ac.jp/crid/1130282272617119488; Logic programming : proceedings of the Twelfth International Conference on Logic Programming; https://cir.nii.ac.jp/crid/1130282272813678848
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA07047811#entity
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA07047811 : BA07047811

目次

Logic programming : proceedings of the 1997 international symposium

Logic programming : proceedings of the 1991 international symposium

Foundations of disjunctive logic programming

Logic programming : proceedings of the 1999 International Conference on Logic Programming

Logic programming : Proceedings of the Fourteenth International Conference on Logic Programming