FEEDBACK Smiley face

Your search returned 2 results. Subscribe to this search

|
1. Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] :International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings /

by Murray, Neil V [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, 1999.Online access: Click here to access online Availability: No items available

2. Foundations of Intelligent Systems [electronic resource] :15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005. Proceedings /

by Hacid, Mohand-Said [editor.] | Murray, Neil V [editor.] | Raś, Zbigniew W [editor.] | Tsumoto, Shusaku [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, 2005.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