Your search returned 5 results.

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

by Gabbay, Dov M | Hodkinson, Ian | Reynolds, Mark.

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

Place hold Log in to add tags
BOOKS
Computational Aspects of an Order-Sorted Logic with Term Declarations

by Schmidt-SchauB, M.

Series: Lecture notes in artificial intelligence ; 00395Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 9 Call number: 681 LNCS.

Place hold Log in to add tags
E-BOOKS
Arithmetic, geometry, cryptography and coding theory : [electronic resource] 13th Conference on Arithmetic, Geometry, Cryptography and Coding Theory, March 14-18, 2011, CIRM, Marseille, France : Geocrypt 2011, June 19-24, 2011, Bastia, France / Yves Aubry, Christophe Ritzenthaler, Alexey Zykin, editors.

by International Conference "Arithmetic, Geometry, Cryptography and Coding Theory" (13th : 2011 : Marseille, France) | Aubry, Yves, 1965- | Ritzenthaler, Christophe, 1976- | Zykin, Alexey, 1984- | Geocrypt Conference (2011 : Bastia, France).

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

Place hold Log in to add tags
E-BOOKS
Recent advances in real complexity and computation : [electronic resource] UIMP-RSME Lluis A. Santal�o Summer School 2012, recent advances in real complexity and computation, July 16-20, 2012, Universidad Internacional Men�endez Pelayo, Santander, Spain / Jose Luis Monta�na, Luis M. Pardo, editors.

by UIMP-RSME Lluis Santal�o Summer (2012 : Santander, Spain) | Monta�na, Jose Luis, 1961- [editor of compilation.] | Pardo, L. M. (Luis M.) [editor of compilation.].

Series: Contemporary mathematics ; v. 604Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publisher: Providence, Rhode Island : [Madrid] : American Mathematical Society ; Real Sociedad Matematica Espa�nola, [2013]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
BOOKS
Applications of polynomial systems David A. Cox ; with contributions by Carlos D'Andrea, Alicia Dickenstein, Jonathan Hauenstein, Hal Schenck and Jessica Sidman.

by Cox, David A | D'Andrea, Carlos | Dickenstein, Alicia | Hauenstein, Jonathan D | Schenck, Henry K | Sidman, Jessica.

Series: Conference Board of the Mathematical Sciences CBMS regional conference series in mathematics ; 134Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Rhode Island American Mathematical Society (AMS) 2020Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 13 Call number: 51 COX.

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

Powered by Koha