A proof theory for general unification

Name: A proof theory for general unification
Author: / Wayne Snyder

Author

Edition 1

0-8176-3593-9

list

شناسنامه

Main Entry

Snyder,Wayne, 1955 -، نویسنده

Title and Author

A proof theory for general unification / / Wayne Snyder

Publication Details

بوستون : : Birkhauser، 1991م

Physical Description

175 p . ;24 cm.

Subject

Automatic theorem proving

series

(Progress in computer scinence and applied logic ;v؛ ;11)

Language

انگلیسی

Retrieval Number

Congress:

انگليسي.

Includes bibliographical references.