Jump to main content

図書

4th international workshop on logical frameworks and meta-languages: theory and practice 2009 : (LFMTP 2009) : Montreal, Canada : 2 August 2009. : joint LFMTP/PSTT : international workshop on proof-search in type theories (PSTT) : Aug 2009, Montreal, Canada. (ACM International Conference Proceedings Series)

Icons representing 図書

4th international workshop on logical frameworks and meta-languages: theory and practice 2009 : (LFMTP 2009) : Montreal, Canada : 2 August 2009. : joint LFMTP/PSTT : international workshop on proof-search in type theories (PSTT) : Aug 2009, Montreal, Canada.

(ACM International Conference Proceedings Series)

Call No. (NDL)
M17-10-1780
Bibliographic ID of National Diet Library
000010664121
Material type
図書
Author
Cheney, James.ほか
Publisher
ACM
Publication date
c2009.
Material Format
Paper
Capacity, size, etc.
87 p. : ill. ; 28 cm.
NDC
-
View All

Notes on use

Note (General)：

Papers.

Search by Bookstore

Search by Bookstore

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.

Paper

Material Type
図書
ISBN
9781615675449
Title
4th international workshop on logical frameworks and meta-languages: theory and practice 2009 : (LFMTP 2009) : Montreal, Canada : 2 August 2009. : joint LFMTP/PSTT : international workshop on proof-search in type theories (PSTT) : Aug 2009, Montreal, Canada.
Series Title
ACM International Conference Proceedings Series
Title Heading
ACM international conference proceedings series.
Author Heading
Cheney, James.
Felty, Amy.
International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (4th : 2009 : Montréal, Québec)
Publication, Distribution, etc.
New York : ACM
Publication Date
c2009.
Publication Date (W3CDTF)
2009
Extent
87 p. : ill. ; 28 cm.