The resolution calculus

Saved in:
Bibliographic Details
Main Author: Leitsch
Format: Book
Published: Berlin; New York Springer 1997
Series:Texts in theoretical computer science
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Item Description:Includes bibliographical references (p.289-293) and index
Physical Description:viii,300p. ill 24cm
ISBN:3540618821