|
|
|
|
Computer science - theory and applications first international computer science symposium in russia, CSR 2006 st. petersburg, russia june 8 - 12, 2006 proceedings by Grigoriev, Dima, Ed | Harrison, John, Ed | Hirsch, Edward A, Ed. Series: Lecture notes in computer science ; 03967Material type:  Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer - Verlag ; 2006Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS.
|
|
|
|
|
Handbook of practical logic and automated reasoning by Harrison, John. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New york ; CUP ; 2009Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 4 Call number: 510.6(02) HAR.
|
|
|
|
|
Computer Science – Theory and Applications [electronic resource] : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings / edited by Dima Grigoriev, John Harrison, Edward A. Hirsch. by Grigoriev, Dima [editor.] | Harrison, John [editor.] | Hirsch, Edward A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3967Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings / edited by Mark Aagaard, John Harrison. by Aagaard, Mark [editor.] | Harrison, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1869Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison. by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Wright, Joakim [editor.] | Grundy, Jim [editor.] | Harrison, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1125Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
