- Inicio
- > materias
- / INFORMÁTICA
- > MATEMÁTICAS DE LA PROGRAMACIÓN
(1 resultados)
Ordenar por
ordenar por...
47,84€(IVA inc.)
Automated reasoning with analytic tableaux and related methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
- Brünnler, Kai
- 978-3-642-22118-7
- 2011-06-22