Anil Nerode and Richard A. Shore. Logic for applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xvii + 365 pp

Saved in:
Bibliographic Details
Published in:The Journal of symbolic logic 1999-03, Vol.64 (1), p.404-405
Main Author: Bacchus, Fahiem
Format: Article
Language:English
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0022-4812
1943-5886
DOI:10.2307/2586779