Cover Image

Logic for applications /

Show other versions (2)
Bibliographic Details
Main Author: Nerode, Anil, 1932-
Other Authors: Shore, Richard A., 1946-
Format: Book
Language:English
Published: New York : Springer-Verlag, [1993]
Series:Texts and monographs in computer science.
Subjects:
Logic programming.
Logic, Symbolic and mathematical.
Search Result 1
Cover Image
by Nerode, Anil
Published 1997
Connect to the full text of this electronic book
eBook
Search Result 2
Cover Image
by Nerode, Anil
Published 1993
Connect to the full text of this electronic book
eBook
Show all versions (3)