Analogy of automated reasoning
Analogy of automated reasoning
Owen, Stephen
Details
OL Work ID
OL4479002W
Subjects
Analogy
Artificial intelligence
Automatic theorem proving
Find this book
Open Library