Name: Leaning search control knowlledge for equational deduction
Author: Stephan Schulz
ISBN: 1586031503

Page Count:
182

Publication Date:
2007-01-01

ISBN-10:
1586031503

No comments yet. Be the first to share your thoughts!