Name: Proof technology and computation
Author: NATO Advanced Study Institute on Proof Technology and Computation (2003 Marktoberdorf, Germany)
ISBN: 9781586036256

Proof technology and computation

NATO Advanced Study Institute on Proof Technology and Computation (2003 Marktoberdorf, Germany)

0

Author Description

null

Page Count:
445

Publication Date:
2006-01-01

ISBN-10:
1586036254

ISBN-13:
9781586036256

Community Tags

Reader Comments

Share Your Thoughts

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

Reader Comments

Share Your Thoughts

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