Normal view MARC view ISBD view

Nerode, Anil, 1932-

Logic for applications / Anil Nerode, Richard A. Shore. - 2nd ed. - New York : Springer, c1997. - xiii, 456 p. : ill. ; 24 cm. - Graduate texts in computer science . - Graduate texts in computer science (Springer-Verlag New York Inc.) .

Includes bibliographical references (p. [409]-438) and indexes.

ISBN: 0387948937 (New York : hc : acidfree paper) 9780387948935

LCCN: 96043297

Subjects--Topical Terms:
Computer science--Mathematics
Logic, Symbolic and mathematical.
Computer architecture & logic design
Mathematical theory of computation
Mathematical logic
Artificial intelligence
Computer science
Computer programming / software engineering
Mathematical foundations
Systems analysis & design

Dewey Class. No.: 005.1015113