56,16€(IVA inc.)
Interactive theorem proving: Second International Conference, ITP 2011, Berg En Dal, The Netherlands, August 22-25, 2011, Proceedings
- Eekelen, Marko van
- 978-3-642-22862-9
- 2011-08-02
101,92€(IVA inc.)
Type Theory and Formal Proof: An Introduction
- Nederpelt, Rob
- 978-1-107-03650-5
- 2014-11-06