FEEDBACK Smiley face

Your search returned 4 results. Subscribe to this search

|
1. Computer Aided Verification [electronic resource] :10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings /

by Hu, Alan J [editor.] | Vardi, Moshe Y [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, 1998.Online access: Click here to access online Availability: No items available

2. Formal Techniques for Networked and Distributed Sytems — FORTE 2002 [electronic resource] :22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings /

by Peled, Doron A [editor.] | Vardi, Moshe Y [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

3. Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] :10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings /

by Vardi, Moshe Y [editor.] | Voronkov, Andrei [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, 2003.Online access: Click here to access online Availability: No items available

4. Reasoning about knowledge

by Fagin, Ronald | Halpern, Joseph Y | Moses, Yoram | Vardi, Moshe Y.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : MIT , ©1995Availability: Items available for loan: IIITD [153.43 FAG-R] (1).


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