Articles
A mechanized translation from higher-order logic to set theory
CTI 2011 (Christian Kamm, Zoltán Ádám Mann)
Christian Kamm is a Managing Director at QAware. Since 2009, he has significantly shaped the strategic direction of QAware. After[...]
Mehr Informationen