216,31€(IVA inc.)
Computer-Aided Reasoning: ACL2 Case Studies
- Kaufmann, Matt
- 9781441949813
- 2010-12-08
83,15€(IVA inc.)
Interactive theorem proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
- Kaufmann, Matt
- 978-3-642-14051-8
- 2010-06-30