Your search returned 6 results.

Not what you expected? Check for suggestions
E-BOOKS
Algorithmic Learning Theory [electronic resource] : 8th International Workshop, ALT '97 Sendai, Japan, October 6–8, 1997 Proceedings / edited by Ming Li, Akira Maruoka.

by Li, Ming [editor.] | Maruoka, Akira [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1316Source: 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): .

E-BOOKS
Extensional Gödel Functional Interpretation [electronic resource] : A Consistency Proof of Classical Analysis / by Horst Luckhardt.

by Luckhardt, Horst [author.] | SpringerLink (Online service).

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

E-BOOKS
Category Theory [electronic resource] : Proceedings of the International Conference held in Como, Italy, July 22–28, 1990 / edited by Aurelio Carboni, Maria Cristina Pedicchio, Guiseppe Rosolini.

by Carboni, Aurelio [editor.] | Pedicchio, Maria Cristina [editor.] | Rosolini, Guiseppe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1488Source: 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
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings / edited by Sergei N. Artemov, Anil Nerode.

by Artemov, Sergei N [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service).

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

E-BOOKS
Rough Sets and Current Trends in Computing [electronic resource] : Third International Conference, RSCTC 2002 Malvern, PA, USA, October 14–16, 2002 Proceedings / edited by James J. Alpigini, James F. Peters, Andrzej Skowron, Ning Zhong.

by Alpigini, James J [editor.] | Peters, James F [editor.] | Skowron, Andrzej [editor.] | Zhong, Ning [editor.] | SpringerLink (Online service).

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

E-BOOKS
Proceedings of the International Conference on Algebra dedicated to the memory of A.I. Malcev / [electronic resource] L.A. Bokut, Yu. L. Ershov, A.I. Kostrikin, editors.

by International Conference on Algebra (1989 : Akademgorodok, Novosibirsk, Russia) | Mal��tsev, A. I. (Anatoli�i Ivanovich), 1909-1967 | Bokut�, L. A. (Leonid Arkad�evich), 1937- | Ershov, �IUri�i Leonidovich | Kostrikin, A. I. (Alekse�i Ivanovich).

Series: Contemporary mathematics (American Mathematical Society) ; v. 130.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1992Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha