An edition of Geometric reasoning (1989)
By Deepak Kapur,Joseph L. Mundy
Publish Date
1989
Publisher
MIT Press
Language
eng
Pages
512
Description:
subjects: Computer vision, Robotics, Congresses, Artificial intelligence, Automatic theorem proving, Logic machines