|
|
|
Logical Frameworks Workshop, Sophia Antipolis,France, 1990 by Huet, Gerard. Ed | Plotkin, G. Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge university press ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 4 Call number: 681.3.07 HUET.
|
|
|
|
Logical Environments by Huet, Gerard. Ed | Plotkin, Gordon, Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; CUP ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 3 Call number: 681.3 HUE.
|
|
|
|
|
|
|
|
Sanskrit Computational Linguistics [electronic resource] : First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papers / edited by Gérard Huet, Amba Kulkarni, Peter Scharf. by Huet, Gérard [editor.] | Kulkarni, Amba [editor.] | Scharf, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5402Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|