Your search returned 2 results.

Not what you expected? Check for suggestions
E-BOOKS
Automated Deduction — CADE-12 [electronic resource] : 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings / edited by Alan Bundy.

by Bundy, Alan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence (LNAI) ; 814Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Artificial Intelligence in Medicine [electronic resource] : 6th Conference on Artificial Intelligence in Medicine Europe, AIME'97 Grenoble, France, March 23–26, 1997 Proceedings / edited by Elpida Keravnou, Catherine Garbay, Robert Baud, Jeremy Wyatt.

by Keravnou, Elpida [editor.] | Garbay, Catherine [editor.] | Baud, Robert [editor.] | Wyatt, Jeremy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence (LNAI) ; 1211Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha