FEEDBACK Smiley face

Your search returned 5 results. Subscribe to this search

|
1. Logic in computer science : modelling and reasoning about systems

by Huth, Michael | Ryan, Mark.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Cambridge University Press, ©2004Availability: Items available for loan: IIITD [005.101 HUT-L] (2).
Items available for reference: IIITD [REF 005.101 HUT-L] (1).

2. The essence of logic

by Kelly, John J.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Prentice Hall, ©1996Availability: Items available for loan: IIITD [511.3 KEL-E] (3).
Items available for reference: IIITD [REF 511.3 KEL-E] (1).

3. Logic for computer scientists

by Schoning, Uwe 1955-.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Boston : Birkhauser, 1989Availability: Items available for loan: IIITD [REF 511.3 SCH-L] (1).

4. Isabelle/HOL [electronic resource] :A Proof Assistant for Higher-Order Logic /

by Nipkow, Tobias [editor.] | Wenzel, Markus [editor.] | Paulson, Lawrence C [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available

5. The Logic of Categorial Grammars [electronic resource] :A Deductive Account of Natural Language Syntax and Semantics /

by Moot, Richard [author.] | Retoré, Christian [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.Online access: Click here to access online Availability: No items available


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