Conte aos seus amigos sobre este 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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 10 de fevereiro de 2004 |
| ISBN13 | 9783540210696 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 174 |
| Dimensões | 155 × 235 × 10 mm · 272 g |
| Idioma | Inglês Alemão |