Jump to main content

yr 〜
yr

Search results 9

Sanskrit computational linguistics : third international symposium : Hyderabad, India, January 15-17, 2009 : proceedings. : SCLS 2009 : Jan 2009, Hyderabad, India. (Lecture Notes in Computer Science ; 5406. Lecture Notes in Artificial Intelligence)

Sanskrit computational linguistics : third international symposium : Hyderabad, India, January 15-17, 2009 : proceedings. : SCLS 2009 : Jan 2009, Hyderabad, India. (Lecture Notes in Computer Science ; 5406. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-09-1252>
National Diet Library
  • Author Heading...ulkarni, Amba. Huet, Gérard. International Sanskrit Compu...

Sanskrit computational linguistics : first and second international symposia : Rocquencourt, France, October 29-31, 2007 : Providence, RI, USA, May 15-17, 2008 : revised selected and invited papers. : 1st international Sanskrit computational linguistics symposium : Sanskrit CL 2007/2008 : ------. (Lecture Notes in Computer Science ; 5402. Lecture Notes in Artificial Intelligence)

Sanskrit computational linguistics : first and second international symposia : Rocquencourt, France, October 29-31, 2007 : Providence, RI, USA, May 15-17, 2008 : revised selected and invited papers. : 1st international Sanskrit computational linguistics symposium : Sanskrit CL 2007/2008 : ------. (Lecture Notes in Computer Science ; 5402. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-09-2186>
National Diet Library
  • Author HeadingINRIA Rocquencourt. Huet, Gérard. Kulkarni, Amba. Scharf, Pete...

Sanskrit computational linguistics : third international symposium, Hyderabad, India, January 15-17, 2009 : proceedings

Sanskrit computational linguistics : third international symposium, Hyderabad, India, January 15-17, 2009 : proceedings
Paper図書
Amba Kulkarni, Gérard Huet (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingKulkarni, Amba Huet, Gérard

Sanskrit computational linguistics : first and second international symposia, Rocquencourt, France, October 29-31, 2007, Providence, RI, USA, May 15-17, 2008 : revised selected and invited papers

Sanskrit computational linguistics : first and second international symposia, Rocquencourt, France, October 29-31, 2007, Providence, RI, USA, May 15-17, 2008 : revised selected and invited papers
Paper図書
Gérard Huet, Amba Kulkarni, Peter Scharf (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingHuet, Gérard Kulkarni, Amba Scharf, Peter

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions : pbk

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions : pbk
Paper図書
Yves Bertot, Pierre Castèran ; foreword by Gérard Huet and Christine Paulin-MohringSpringerc2010
Other Libraries in Japan
  • Author HeadingBertot, Yves Castéran, P. (Pierre) Huet, Gérard Paulin-Mohring, Christine

Logical environments

Logical environments
Paper図書
edited by Gérard Huet, Gordon PlotkinCambridge University Press1993
Other Libraries in Japan
  • Author HeadingHuet, Gérard Plotkin, G. (Gordon)

Logical frameworks

Logical frameworks
Paper図書
edited by Gérard Huet, G. PlotkinCambridge Univ. Press1991
Other Libraries in Japan
  • Author HeadingHuet, Gérard Plotkin, G. (Gordon)

Logical foundations of functional programming

Logical foundations of functional programming
Paper図書
edited by Gérard HuetAddison-Wesleyc1990
Other Libraries in Japan
  • Author HeadingHuet, Gérard

A mechanization of type theory

A mechanization of type theory
Paper図書
Gerard P. HuetInstitut de Recherche d'Informatique et d'Automatique1973
Other Libraries in Japan
  • Author HeadingHuet, Gerard P.

Reached to the end of result.

RSS