https://scholars.lib.ntu.edu.tw/handle/123456789/119473
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Bonacina M. P. | en |
dc.contributor.author | Hsiang J. | en |
dc.creator | Bonacina M. P.; Hsiang J. | en |
dc.date | 1994 | en |
dc.date.accessioned | 2010-12-20T12:30:19Z | - |
dc.date.accessioned | 2018-07-05T02:28:57Z | - |
dc.date.available | 2010-12-20T12:30:19Z | - |
dc.date.available | 2018-07-05T02:28:57Z | - |
dc.date.issued | 1994 | - |
dc.identifier.uri | http://ntur.lib.ntu.edu.tw//handle/246246/221011 | - |
dc.language | en | en |
dc.language.iso | en_US | - |
dc.relation | Journal of Information Science and Engineering, pp.120-125 | en |
dc.relation.ispartof | Journal of Information Science and Engineering | - |
dc.title | A Category-Theoretic Treatment of Automated Theorem Proving | en |
dc.type | journal article | en |
dc.relation.pages | 120-125 | - |
dc.identifier.uri.fulltext | http://ntur.lib.ntu.edu.tw/bitstream/246246/221011/-1/13.pdf | - |
item.openairetype | journal article | - |
item.fulltext | with fulltext | - |
item.languageiso639-1 | en_US | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | open | - |
item.openairecristype | http://purl.org/coar/resource_type/c_6501 | - |
Appears in Collections: | 資訊工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.