Automated Deduction - CADE-25

Elemento

Título (dcterms:title)

Automated Deduction - CADE-25

Autores (dcterms:creator)

Felty

Año Publicación (dcterms:date)

2015

Editorial (dcterms:publisher)

Springer International Publishing

ISBN (bibo:isbn)

978-3-319-21400-9

eBook (bibo:isbn13)

978-3-319-21401-6

PDF (bibo:uri)

https://cutt.ly/hhvDnKx

Colecciones

Springer