Automated Deduction - A Basis for Applications
by W. Bibel
1998434 pages
Springer Netherlands·2 editions
by W. Bibel
No users with this book on their shelves. Maybe you could be the first.
No reviews yet. Add your review.
No lists containing this book.
The Amazon links are affiliate links
Springer Netherlands
Springer Netherlands
[electronic resource] :
ISBN 10: 9048150515
ISBN 13: 9789048150519