creator search
International Workshop on Automated Deduction in Geometry(1996-)
この人物の情報
schema:name | Workshop on Automated Deduction in Geometry, International; ADG |
schema:birthDate | 1996 |
schema:name | Workshop on Automated Deduction in Geometry, International; ADG |
schema:birthDate | 1996 |