Your search returned 2 results.

Not what you expected? Check for suggestions
E-BOOKS
Instantiation Theory [electronic resource] : On the Foundations of Automated Deduction / by James G. Williams.

by Williams, James G [author.] | SpringerLink (Online service).

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

E-BOOKS
Methodology and Tools in Knowledge-Based Systems [electronic resource] : 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA-98-AIE Benicàssim, Castellón, Spain, June 1–4, 1998 Proceedings, Volume I / edited by José Mira, Angel Pasqual Pobil, Moonis Ali.

by Mira, José [editor.] | Pobil, Angel Pasqual [editor.] | Ali, Moonis [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha