Yazar
Herman Geuvers
4 cilt bulundu.
Cilt sonuçları
Type Theory and Formal Proof
Rob Nederpelt, Herman Geuvers · Cambridge University Press
466 sayfa · 2014
Logic, symbolic and mathematical / Type theory / COMPUTERS / Programming Languages / General
Intelligent Computer Mathematics
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke · Springer Berlin Heidelberg
393 sayfa · 2017
Computer science, mathematics / Artificial intelligence