Gerard Huet - Böcker
Visar alla böcker från författaren Gerard Huet. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
1 227 kr
Skickas inom 7-10 vardagar
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 artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.
Sanskrit Computational Linguistics
Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings
Häftad, Engelska, 2008
534 kr
Skickas inom 10-15 vardagar
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 categories: Four papers deal with the structure of Panini's Astadhyayi. Two of them deal with parsing issues, two with various aspects of machine translation and the last one with the Web concordance of an important Sanskrit text.
Sanskrit Computational Linguistics
First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008, Revised Selected Papers
Häftad, Engelska, 2009
550 kr
Skickas inom 10-15 vardagar
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 first and the 12 revised papers of the second symposium presented with an introduction and a keynote talk were carefully reviewed and selected from the lectures given at both events. The papers address several topics such as the structure of the Paninian grammatical system, computational linguistics, lexicography, lexical databases, formal description of sanskrit grammar, phonology and morphology, machine translation, philology, and OCR.