図書

Logic programming

Icons representing 図書

Logic programming

Material type
図書
Author
-
Publisher
MIT Press
Publication date
-
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

Continued:MIT Press in logic programming

Related materials as well as pre- and post-revision versions

Logic programming : proceedings of the 1997 international symposiumLeave the NDL website. Logic programming : proceedings of the 1991 international symposiumLeave the NDL website. Foundations of disjunctive logic programmingLeave the NDL website. Logic programming : proceedings of the 1999 International Conference on Logic ProgrammingLeave the NDL website. Logic programming : Proceedings of the Fourteenth International Conference on Logic ProgrammingLeave the NDL website. Meta-logics and logic programmingLeave the NDL website. Logic programming : Proceedings of the Tenth International Conference on Logic ProgrammingLeave the NDL website. Logic programming languages : constraints, functions, and objectsLeave the NDL website. Logic programming : Proceedings of the eighth International ConferenceLeave the NDL website. Logic programming : proceedings of the 1993 International SymposiumLeave the NDL website. Eco-logic : logic-based approaches to ecological modellingLeave the NDL website. The Gödel programming languageLeave the NDL website. Logic programming : proceedings of the 1998 Joint International Conference and Symposium on Logic ProgrammingLeave the NDL website. Logic programming : proceedings of the North American Conference, 1989Leave the NDL website. Logic programming : proceedings of the joint International Conference and Symposium on Logic ProgrammingLeave the NDL website. The craft of PrologLeave the NDL website. The Practice of PrologLeave the NDL website. Logic programming : proceedings of the 1990 North American conferenceLeave the NDL website. Types in logic programmingLeave the NDL website. Logic programming : proceedings of the seventh international conferenceLeave the NDL website. Warren's abstract machine : a tutorial reconstructionLeave the NDL website. Constraint satisfaction in logic programmingLeave the NDL website. Logic programming : proceedings of the sixth international conferenceLeave the NDL website. Inductive logic programming : from machine learning to software engineeringLeave the NDL website. A grammatical view of logic programmingLeave the NDL website. Meta-programming in logic programmingLeave the NDL website. Logic programming : proceedings of the Twelfth International Conference on Logic ProgrammingLeave the NDL website.

Search by Bookstore

Table of Contents

  • 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

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • CiNii Research

    Search Service
    Paper
    You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Publication, Distribution, etc.
Place of Publication (Country Code)
us
Target Audience
一般
Note (General)
Continued:MIT Press in logic programming
Related Material
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
Meta-logics and logic programming
Logic programming : Proceedings of the Tenth International Conference on Logic Programming
Logic programming languages : constraints, functions, and objects
Logic programming : Proceedings of the eighth International Conference
Logic programming : proceedings of the 1993 International Symposium
Eco-logic : logic-based approaches to ecological modelling
The Gödel programming language
Logic programming : proceedings of the 1998 Joint International Conference and Symposium on Logic Programming
Logic programming : proceedings of the North American Conference, 1989
Logic programming : proceedings of the joint International Conference and Symposium on Logic Programming
The craft of Prolog
The Practice of Prolog
Logic programming : proceedings of the 1990 North American conference
Types in logic programming
Logic programming : proceedings of the seventh international conference
Warren's abstract machine : a tutorial reconstruction
Constraint satisfaction in logic programming
Logic programming : proceedings of the sixth international conference
Inductive logic programming : from machine learning to software engineering
A grammatical view of logic programming
Meta-programming in logic programming
Logic programming : proceedings of the Twelfth International Conference on Logic Programming
Data Provider (Database)
国立情報学研究所 : CiNii Research
Original Data Provider (Database)
CiNii Books