Jump to main content
文書・図像類

Learning Elementary Formal Systems with Queries

Icons representing 文書・図像類

Learning Elementary Formal Systems with Queries

Material type
文書・図像類
Author
Sakamoto, Hiroshiほか
Publisher
Department of Informatics, Kyushu University
Publication date
2000-10
Material Format
Digital
Capacity, size, etc.
-
NDC
-
View All

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

DOI Technical Report || 179

Search by Bookstore

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

  • Kyushu University Institutional Repository

    Digital
    You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).

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.

Digital

Material Type
文書・図像類
Author/Editor
Sakamoto, Hiroshi
Hirata, Kouichi
Arimura, Hiroki
Publication, Distribution, etc.
Publication Date
2000-10
Publication Date (W3CDTF)
2000-10
Periodical title
DOI Technical Report
No. or year of volume/issue
179
Volume
179