FEEDBACK Smiley face

Your search returned 2 results. Subscribe to this search

|
1. Automata Logics, and Infinite Games [electronic resource] :A Guide to Current Research /

by Grädel, Erich [editor.] | Thomas, Wolfgang [editor.] | Wilke, Thomas [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

2. Computer Science Logic [electronic resource] :23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /

by Grädel, Erich [editor.] | Kahle, Reinhard [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 : Imprint: Springer, 2009.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