FEEDBACK Smiley face

Your search returned 2 results. Subscribe to this search

1. Logic for applications

by Nerode, Anil 1932- | Shore, Richard A 1946-.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, c1997Online access: Publisher description | Table of contents only Availability:
Items available for reference: IIITD [REF 005.1 NER-L] (1).

2. Logical Foundations of Computer Science [electronic resource] :International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings /

by Artemov, Sergei [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: