Your search returned 12 results.

Not what you expected? Check for suggestions
BOOKS
No cover image available
Symposium on Automatic Demonstration; edited by M. Laudet [and others]

by Laudet. M and Lacombe. D | Laudet, M.

Series: Lecture notes in mathematics (Springer-Verlag) ; 125.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin, New York, Springer-Verlag, 1970Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 27 Call number: 51 LNM.

Place hold Log in to add tags
BOOKS
Extensional Constructs in Intensional Type Theory

by Hofmann, Martin.

Series: CPHC/BCS Distinguished Dissertation SeriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 HOF.

Place hold Log in to add tags
BOOKS
Proof theory and automated deduction

by Goubault-Larrecq, Jean | Mackie, Ian.

Series: Applied logic seriesMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Boston Kluwer Academic 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GOU.

Place hold Log in to add tags
BOOKS
First-Order Logic and Automated Theorem Proving

by Fitting, Melvin.

Series: Graduate Texts in Computer ScienceEdition: 2ndMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 FIT.

Place hold Log in to add tags
BOOKS
Symbolic logic and mechanical theorem proving

by Chang, Chin-Liang | Lee, Richard Char-Tung.

Series: Computer Science ClassicsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; AP ; 1973Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 42 Call number: 681.3 CHA.

Place hold Log in to add tags
BOOKS
Compositionality: the significant difference: international symposium, COMPOS '97, Bad Malente, Germany, September 1997 : revised lectures

by De Roever Willem-Paul | Langmaack, Hans | Pnueli, Amir Eds.

Series: Lecture notes in computer science ; 01536Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Computational logic and proof theory: 5th Kurt G�del Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

by Gottlob, Georg | Leitsch, Alexander | Mundici, Daniele Eds.

Series: Lecture notes in computer science ; 01289Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Automated theorem proving after 25 years

by Bledsoe, W. W | Loveland, Donald W. Eds.

Series: Contemporary mathematics ; 00029Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence, R.I ; American Mathematical Society ; 1984Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 7 Call number: 51 CM.

Place hold Log in to add tags
BOOKS
Automated theory formation in pure mathematics

by Colton, Simon, 1973-.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London, New York : ; Springer ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 34 Call number: 681.3.06 COL.

Place hold Log in to add tags
BOOKS
A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia

by Fleuriot, Jacques, 1972-.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London, New York : ; Springer ; c2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 30, Shelf No: 31 Call number: 514 FLE.

Place hold Log in to add tags
BOOKS
Communication complexity A new approach to circuit depth

by Karchmer, Mauricio.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; MIT Press ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 29 Call number: 681.3.04 KAR.

Place hold Log in to add tags
E-BOOKS
Automated theorem proving : [electronic resource] after 25 years / W.W. Bledsoe and D.W. Loveland, editors.

by Special Session on Automatic Theorem Proving (1983 : Denver, Colo.) | Bledsoe, W. W | Loveland, Donald W | American Mathematical Society.

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