Logical Frameworks : 1st Annual Workshop : May 1990, Sophia-Antipolis, France.

Author: European Strategic Programme of Research and Development in Information Technology. Basic Research Action 3245 "Logical Frameworks: Design, Implementation and Experiment"

Notes on use

Search by Bookstore

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: 図書
ISBN: 0521413001
Title: Logical Frameworks : 1st Annual Workshop : May 1990, Sophia-Antipolis, France.
Author Heading: European Strategic Programme of Research and Development in Information Technology. Basic Research Action 3245 "Logical Frameworks: Design, Implementation and Experiment"
Extent: v.
Alternative Title: logical frameworks ; ESPRIT
NDLC: M17
MA
Note (General): Papers.
Index term: logical frameworks ; ESPRIT.
Holding library: 国立国会図書館
Call No.: M17-92-1366
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003486077
http://id.ndl.go.jp/bib/000003486077
Bibliographic Record Category (NDL): 215