Interactive Theorem Proving

Elemento

Título

Interactive Theorem Proving

Autores

Blazy

Año Publicación

2013

Editorial

Springer Berlin Heidelberg

ISBN

978-3-642-39633-5

eBook

978-3-642-39634-2

PDF

https://cutt.ly/mblGnJK

Colecciones

Springer