Analogy for automated reasoning
Analogy for automated reasoning
Stephen Owen
Details
OL Work ID
OL8061524W
Find this book
Open Library