Your search returned 5 results.

Not what you expected? Check for suggestions
BOOKS
Hilbert's Tenth Problem : An Introduction to Logic, Number Theory, and Computability,

by Murty, M. Ram | Fodden, Brandon.

Series: Student Mathematical Library ; 88;Language: English Language: English Publication details: Rhode Island American Mathematical Society 2019Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 29, Shelf No: 11 Call number: 512 MUR.
Lists:

Place hold Log in to add tags
E-BOOKS
Mathematical developments arising from Hilbert problems : [electronic resource] [proceedings] / [edited by Felix E. Browder].

by Symposium in Pure Mathematics Northern Illinois University, 1974 | Browder, Felix E | American Mathematical Society.

Series: Proceedings of symposia in pure mathematics ; v. 28.2Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence : American Mathematical Society, 1976Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
CSL '89 [electronic resource] : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter.

by Börger, Egon [editor.] | Büning, Hans Kleine [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 440Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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
New Computational Paradigms [electronic resource] : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings / edited by S. Barry Cooper, Benedikt Löwe, Leen Torenvliet.

by Cooper, S. Barry [editor.] | Löwe, Benedikt [editor.] | Torenvliet, Leen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3526Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Advances in p-Adic and non-Archimedean analysis : [electronic resource] tenth International Conference, June 30-July 3, 2008, Michigan State University, East Lansing, Michigan / Martin Berz, Khodr Shamseddine, editors.

by International Conference on p-Adic and Non-Archimedean Analysis (10th : 2008 : Michigan State University) | Berz, M | Shamseddine, Khodr, 1966-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 508.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c2010Online access: Contents | Contents 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