https://scholars.lib.ntu.edu.tw/handle/123456789/323332
Title: | Orderings for Equational Proofs | Authors: | Bachmair, L. Dershowitz, D. Hsiang, Jieh JIEH HSIANG |
Issue Date: | Jul-1986 | Start page/Pages: | - | Source: | The Symposium on Logic in Computer Science | Description: | Boston |
URI: | http://ntur.lib.ntu.edu.tw/handle/246246/118685 http://scholars.lib.ntu.edu.tw/handle/123456789/323332 |
Appears in Collections: | 資訊工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.