Vertel uw vrienden over dit artikel:
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 10 februari 2004 |
| ISBN13 | 9783540210696 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 174 |
| Afmetingen | 155 × 235 × 10 mm · 272 g |
| Taal en grammatica | Engels Duits |