Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 182 of 1174
Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings Cover Image E-book E-book

Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Eekelen, Marko. (editor.). Geuvers, Herman. (editor.). Schmaltz, Julien. (editor.). Wiedijk, Freek. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

Back To Results
Showing Item 182 of 1174

Additional Resources