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.
Description
Physical Description:xvii, 365 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages 329-354) and indexes.
ISBN:0387941290 (New York : acid-free paper)
3540941290 (Berlin : acid-free paper)