Geometric reasoning
Geometric reasoning
Deepak Kapur
,
Joseph L. Mundy
Details
OL Work ID
OL23060714W
Subjects
Computer vision
Robotics
Congresses
Artificial intelligence
Automatic theorem proving
Logic machines
Find this book
Open Library