https://scholars.lib.ntu.edu.tw/handle/123456789/331488
Title: | Refutational Theorem Proving with Oriented Equations | Authors: | Dershowitz, N. Hsiang, Jieh JIEH HSIANG |
Issue Date: | Jun-1987 | Start page/Pages: | - | Source: | Colloquium on the Resolution of Equations in Algebraic Structures | URI: | http://ntur.lib.ntu.edu.tw/handle/246246/118710 http://scholars.lib.ntu.edu.tw/handle/123456789/331488 |
Appears in Collections: | 資訊工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.