Personensuche
X
?
Lecture Notes in Computer Science; Intelligent Computer Mathematics ,
2
Isabelle/HOL/GST: A Formal Proof Environment for Generalize..:
, In:
?
Lecture Notes in Computer Science; Intelligent Computer Mathematics ,
4
Generating Custom Set Theories with Non-set Structured Obje..:
, In:
?
Lecture Notes in Computer Science; Intelligent Computer Mathematics ,
5
Adding an Abstraction Barrier to ZF Set Theory:
, In:
?
2019 Conference on Lasers and Electro-Optics (CLEO) ,
7