creator search
International Conference on Theorem Proving in Higher Order Logics(1996-2001)
この人物の情報
schema:name | Conference on Theorem Proving in Higher Order Logics, International; International Conference, TPHOLs; TPHOLs; TPHOLs '96; TPHOLs '97 |
schema:birthDate | 1996 |
schema:deathDate | 2001 |