Free Delivery Over $100
4 books were found.
Read More >>
Among the topics covered are automated reasoning and theorem proving, belief revision, constraint-based reasoning,... Read More >>
These are the refereed proceedings of the Third International Conference PorTAL 2002 - Portugal for Natural Language... Read More >>
The 20 revised full papers and 17 revised short papers presented here are organized in topical sections on automatic... Read More >>