Name: Symbolic Computation and Automated Reasoning: The Calculemus-2000 Symposium
Author: ‎Michael Kohlhase
ISBN: 9781568811451

Page Count:
272

Publication Date:
2001-02-15

ISBN-10:
1568811454

ISBN-13:
9781568811451

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