search for books and compare prices
Model Generation for Natural Language Interpretation and Analysis
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Sort options: binding | publication date | edition
Book cover for 9783540210696
from Springer-Verlag New York Inc (March 31, 2004)
9783540210696 | details & prices | 6.25 × 9.25 × 0.50 in. | 0.65 lbs | List price $89.99
About: 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.