FEEDBACK Smiley face
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.

9780387948935

96043297


Computer science--Mathematics.
Logic, Symbolic and mathematical.

QA76.9.M35 / N47 1997

005.1 / NER-L

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in