Personal Information
Acerca de
Delusional mathematician, who are working a disillusioned government agency.
妄想的数学者
Etiquetas
computer science
#voynich
scala dsl test csp
computational complexity
bounded arithmetic
model-checking formal-methods
consistency-proof
bounded-arithmetic
logic
mathematics
bounded-arithmetic p=np
uml formal_methods csp
formal methods
camomile ocaml programming
Ver más
- Presentaciones
- Documentos
- Infografías