Learning Search Control Knowledge for Equational Deduction
by S. Schulz
2000186 pages
Ios Pr Inc·1 editions
Loading Description
Tags
NewBookshelves
0 readersNo users with this book on their shelves. Maybe you could be the first.
Threads
0 discussionsQuotes
0 quotesReviews
0 reviewsNo reviews yet. Add your review.
Lists
0 listsNo lists containing this book.
Purchasable Editions
1 editionsThe Amazon links are affiliate links
Learning Search Control Knowledge for Equational Deduction (2000)
Learning Search Control Knowledge for Equational Deduction (2000)
Ios Pr Inc
Ios Pr Inc
Paperback
ISBN 10: 1586031503
ISBN 13: 9781586031503