Kazimir Majorinc
Gender | Male |
---|---|
Location | Zagreb, Croatia |
Interests | propositional logic, logic, Newlisp, Lisp, programming, automated theorem proving, automated reasoning, artificial intelligence |
Gender | Male |
---|---|
Location | Zagreb, Croatia |
Interests | propositional logic, logic, Newlisp, Lisp, programming, automated theorem proving, automated reasoning, artificial intelligence |