https://scholars.lib.ntu.edu.tw/handle/123456789/308763
Title: | A Category Theory Approach to Completion-Based Theorem Proving Strategies | Authors: | Bonacina, M. P. Hsiang, Jieh JIEH HSIANG |
Issue Date: | 1994 | Journal Issue: | 23 | Start page/Pages: | - | Source: | Journal of Information Science and Engineering | URI: | http://ntur.lib.ntu.edu.tw/handle/246246/118377 http://scholars.lib.ntu.edu.tw/handle/123456789/308763 |
Appears in Collections: | 資訊工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.