Name: Automated Reasoning 4th International Joint Conference Proceedings
Author: Peter O. Baumgartner
ISBN: 9783540710691

null

Page Count:
556

Publication Date:
2008-01-01

ISBN-13:
9783540710691

Art

Science

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