EBooks by Karsten Konrad

FlazX

Model Generation for Natural Language Interpretation and Analysis (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Fetched: September 6th, 2007, 5:31pm CEST by Karsten Konrad

Tags:    [edit]

<P>Mathematical theorem proving has undergone an impressive development during the last two decades, resulting in a variety of powerful systems for applications in mathematical deduction and knowledge processing...