(1 resultados)
Ordenar por
ordenar por...
55,07€(IVA inc.)
Theorem proving in higher order logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
- Mohamed, O. Ait
- 978-3-540-71065-3
- 2008-09-01