Gerard Huet – författare

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.

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.

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.

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.