文献一覧: Shôji MAEHARA (著者) - Ceek.jp Altmetrics

1 0 0 0 OA A System of Simple Type Theory with Type Variables

著者: Shôji MAEHARA
出版者: JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE
雑誌: Annals of the Japan Association for Philosophy of Science (ISSN:04530691)
巻号頁・発行日: vol.3, no.4, pp.131-137, 1969-03-31 (Released:2009-02-16)
参考文献数: 1
被引用文献数: 1

2014-07-12 18:54:23
1 + 1 Twitter