|
|
|
|
|
|
|
|
|
|
|
Proof theory and automated deduction by Goubault-Larrecq, Jean | Mackie, Ian. Series: Applied logic seriesMaterial type: 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.
|
|
|
|
|
|
|
|
Symbolic logic and mechanical theorem proving by Chang, Chin-Liang | Lee, Richard Char-Tung. Series: Computer Science ClassicsMaterial type: 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.
|
|
|
|
|
|
|
|
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;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.
|
|
|
|
Automated theorem proving after 25 years by Bledsoe, W. W | Loveland, Donald W. Eds. Series: Contemporary mathematics ; 00029Material type: 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.
|
|
|
|
Automated theory formation in pure mathematics by Colton, Simon, 1973-. Material type: 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.
|
|
|
|
|
|
|
|
Communication complexity A new approach to circuit depth by Karchmer, Mauricio. Material type: 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.
|
|
|
|
|