Diagrammatic reasoning
N. Hari Narayanan
,
B. Chandrasekaran
Details
OL Work ID
OL18303767W
Subjects
Image processing
Artificial intelligence
Problem solving
Automatic theorem proving
Find this book
Open Library