Model Generation for Natural Language Interpretation and Analysis
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. Natural language processing has become a topic of outstanding relevance in information tec...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2004.
|
| Series: | Lecture Notes in Computer Science,
2953 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
