Logic for applications
By: Anil Nerode, Richard A. Shore..
Contributors: Shore, Richard A.
Series: Texts and monographs in computer science
Publisher: Springer-Verlag
Published: 1993
Place of publication: New York; London
Language: eng
Number of pages: 365
Subjects: Logic programming.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. 329-354) and indexes.