Automated Deduction – CADE-24

Elemento

Título (dcterms:title)

Automated Deduction – CADE-24

Autores (dcterms:creator)

Bonacina

Año Publicación (dcterms:date)

2013

Editorial (dcterms:publisher)

Springer Berlin Heidelberg

ISBN (bibo:isbn)

978-3-642-38573-5

eBook (bibo:isbn13)

978-3-642-38574-2

PDF (bibo:uri)

https://cutt.ly/ChvFe6M

Colecciones

Springer