Resolution methods for the decision problem

Saved in:
Bibliographic Details
Other Authors: Fermuller, C 1963- Christian
Format: Book
Published: Berlin New York Springer-Verlag 1993
Series:Lecture notes in computer science Lecture notes in artificial intelligence 679.
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Item Description:Includes bibliographical references (p. [198]-203) and index
Physical Description:viii, 205 p. 24 cm
ISBN:3540567321