Interactive Theorem Proving

Elemento

Título

Interactive Theorem Proving

Autores

Urban

Año Publicación

2015

Editorial

Springer International Publishing

ISBN

978-3-319-22101-4

eBook

978-3-319-22102-1

PDF

https://cutt.ly/YblGbLr

EPUB

https://cutt.ly/9blLLxD

Colecciones

Springer