First-order Unification in Equational Theories and Its Application to Logic Programming
Author | : Jia-Huai You |
Publisher | : |
Total Pages | : 149 |
Release | : 1985 |
ISBN-10 | : OCLC:12597993 |
ISBN-13 | : |
Rating | : 4/5 ( Downloads) |
Download or read book First-order Unification in Equational Theories and Its Application to Logic Programming written by Jia-Huai You and published by . This book was released on 1985 with total page 149 pages. Available in PDF, EPUB and Kindle. Book excerpt: