Automated Deduction – CADE-24

Elemento

Título

Automated Deduction – CADE-24

Autores

Bonacina

Año Publicación

2013

Editorial

Springer Berlin Heidelberg

ISBN

978-3-642-38573-5

eBook

978-3-642-38574-2

PDF

https://cutt.ly/ChvFe6M

Colecciones

Springer