Franklin

Complete sets of transformations for general E-unification / Jean H. Gallier and Wayne Snyder.

Author/Creator:
Gallier, Jean H.
Publication:
Philadelphia, Pa. : Dept. of Computer and Information Science, School of Engineering and Applied Science, 1989.
Series:
MS-CIS ; 89-12
Format/Description:
Book
67 p. ; 28 cm.
Notes:
"Revised February 1989."
"Logic & computation 03."
Includes bibliographical references.
Contributor:
Snyder, Wayne.
University of Pennsylvania. Dept. of Computer and Information Science.
OCLC:
187453919
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy