Lecturas GLC Versions Save

Readings on computational logic, interactive theorem proving and functional programming.

v.1

4 years ago

Lecturas de GLC hasta octubre de 2018