登入
選單
返回
Google圖書搜尋
The Application of Goal-oriented Heuristics for Prooving Equational Theorems Via the Unfailing Knuth-Bendix Completion Procedure
Matthias Fuchs
其他書名
A Case Study: Lattice Ordered Groups
出版
Technische Universität Kaiserslautern, Fachbereich Informatik
, 1999
URL
http://books.google.com.hk/books?id=fFVOuwEACAAJ&hl=&source=gbs_api