Automated Deduction - CADE-25

Elemento

Título

Automated Deduction - CADE-25

Autores

Felty

Año Publicación

2015

Editorial

Springer International Publishing

ISBN

978-3-319-21400-9

eBook

978-3-319-21401-6

PDF

https://cutt.ly/hhvDnKx

Colecciones

Springer