Automated Reasoning and Mathematics

Elemento

Título

Automated Reasoning and Mathematics

Autores

Bonacina

Año Publicación

2013

Editorial

Springer Berlin Heidelberg

ISBN

978-3-642-36674-1

eBook

978-3-642-36675-8

PDF

https://cutt.ly/2hvFhY4

Colecciones

Springer