Gerard Huet – författare
Visar alla böcker från författaren Gerard Huet. Handla med fri frakt och snabb leverans.
5 produkter
Logical Frameworks
Inbunden, 1991
1593 kr
Lägg i varukorg
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as …
Sanskrit Computational Linguistics
Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings
Häftad, 2008
551 kr
Lägg i varukorg
This volume constitutes the refereed proceedings of the Third International Symposium on Sanskrit Computational Linguistics, held in Hyderabad, India, in January 2009. The 9 revised full papers presented were carefully reviewed and selected from 16 submissions. The papers fall under four broad …
Sanskrit Computational Linguistics
Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings
E-bok, 2008
734 kr
Lägg i varukorg
This volume constitutes the refereed proceedings of the Third International Symposium on Sanskrit Computational Linguistics, held in Hyderabad, India, in January 2009. The 9 revised full papers presented were carefully reviewed and selected from 16 submissions. The papers fall under four broad …
Sanskrit Computational Linguistics
First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008, Revised Selected Papers
Av Gérard Huet, Amba Kulkarni m. fl.
Häftad, 2009
568 kr
Lägg i varukorg
This volume constitutes the thoroughly refereed post-conference proceedings of the First and Second International Symposia on Sanskrit Computational Linguistics, held in Rocquencourt, France, in October 2007 and in Providence, RI, USA, in May 2008 respectively. The 11 revised full papers of the …
Sanskrit Computational Linguistics
First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008, Revised Selected Papers
Av Peter Scharf, Amba Kulkarni m. fl.
E-bok, 2009
718 kr
Lägg i varukorg
This volume constitutes the thoroughly refereed post-conference proceedings of the First and Second International Symposia on Sanskrit Computational Linguistics, held in Rocquencourt, France, in October 2007 and in Providence, RI, USA, in May 2008 respectively. The 11 revised full papers of the …
