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.
Search by Bookstore
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.
- Material Type
- 図書
- Author Heading
- Publication, Distribution, etc.
- Place of Publication (Country Code)
- ne
- Target Audience
- 一般
- Note (General)
- "The work in this thesis has been carried out under the auspices of the research school of IPA (Institute Programming research and Algorithmics)."--T.p. verso of "Team automata" ([Leiden] : [s.n.], [2003])Dissertations of Leiden University
- Related Material
- Models of tree translationThe evolution of type theory in logic and mathematicsTeam automata : a formal approach to the modeling of collaboration between system components
- Related Material (URI)
- Data Provider (Database)
- 国立情報学研究所 : CiNii Research