search for books and compare prices
Karsten Konrad has written 1 work(s)
Search for other authors with the same name
displaying 1 to 1 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
cover image for 9783540210696
Product Description: 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 technology, mainly due to the explosive growth of the Web, where by far the largest part of information is encoded in natural language documents...read more

Paperback:

9783540210696 | Springer-Verlag New York Inc, March 31, 2004, cover price $89.99 | About this edition: 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.

displaying 1 to 1 | at end