Tell your friends about this item:
Model Generation for Natural Language Interpretation and Analysis - Lecture Notes in Computer Science Karsten Konrad 2004 edition
Model Generation for Natural Language Interpretation and Analysis - Lecture Notes in Computer Science
Karsten Konrad
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.
174 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | February 10, 2004 |
| ISBN13 | 9783540210696 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 174 |
| Dimensions | 155 × 235 × 10 mm · 272 g |
| Language | English German |