Your search returned 3 results.

Not what you expected? Check for suggestions
BOOKS
Temporal Logic Mathematical Foundations and Computational Aspects, Vol.2

by Gabbay, Dov M | Reynolds, Mark A | Finger, Marcelo.

Series: Oxford Logic Guides : 40Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford Oxford University Press 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 GAB.

E-BOOKS
Advances in Artificial Intelligence - SBIA 2012 [electronic resource] : 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012. Proceedings / edited by Leliane N. Barros, Marcelo Finger, Aurora T. Pozo, Gustavo A. Gimenénez-Lugo, Marcos Castilho.

by Barros, Leliane N [editor.] | Finger, Marcelo [editor.] | Pozo, Aurora T [editor.] | Gimenénez-Lugo, Gustavo A [editor.] | Castilho, Marcos [editor.] | SpringerLink (Online service).

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

E-BOOKS
Frontiers of Combining Systems [electronic resource] : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings / edited by Clare Dixon, Marcelo Finger.

by Dixon, Clare [editor.] | Finger, Marcelo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10483 | Lecture Notes in Computer Science ; 10483Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online 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