creator search
IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications(1992-)
この人物の情報
schema:name | IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications; International Workshop on HIgher Order Logic Theorem Proving and Its Applications; Workshop on Higher Order Logic Theorem Proving and Its Applications, IFIP TC10/WG10.2 International |
schema:birthDate | 1992 |