Faites connaître cet article à vos amis:
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
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 10 février 2004 |
| ISBN13 | 9783540210696 |
| Éditeurs | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 174 |
| Dimensions | 155 × 235 × 10 mm · 272 g |
| Langue et grammaire | Anglais Allemand |