(1 resultados)
Ordenar por
ordenar por...
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