Logic for applications

Saved in:
Bibliographic Details
Main Author: Nerode, Anil, 1932-
Other Authors: Shore, Richard A., 1946-
Format: Book
Language:English
Published: New York : Springer-Verlag, c1993
Series:Texts and monographs in computer science
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!