First Order Unification In Equational Theories And Its Application To Logic Programming

Download First Order Unification In Equational Theories And Its Application To Logic Programming full books in PDF, epub, and Kindle. Read online free First Order Unification In Equational Theories And Its Application To Logic Programming ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!

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 EBOOK

Book Synopsis First-order Unification in Equational Theories and Its Application to Logic Programming by : Jia-Huai You

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:

First-order Unification in Equational Theories and Its Application to Logic Programming Related Books

Language: en
Pages: 149

First-order Unification in Equational Theories and Its Application to Logic Programming

Authors: Jia-Huai You

Categories: Computer programming

Type: BOOK - Published: 1985 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 193

Solving Higher-Order Equations

Authors: Christian Prehofer

Categories: Computers

Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and v

Language: en
Pages: 1004

Handbook of Automated Reasoning

Authors: Alan J.A. Robinson

Categories: Computers

Type: BOOK - Published: 2001-06-21 - Publisher: Gulf Professional Publishing

DOWNLOAD EBOOK

Handbook of Automated Reasoning.

Language: en
Pages: 148

Instantiation Theory

Authors: James G. Williams

Categories: Computers

Type: BOOK - Published: 1991-08-07 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Instantiation Theory presents a new, general unification algorithm that is of immediate use in building theorem provers and logic programming systems. Instantia

Language: en
Pages: 308

Algebraic and Logic Programming

Authors: Michael Hanus

Categories: Computers

Type: BOOK - Published: 1997-08-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Worksho