creator search
International Conference on Automated Deduction(1984-2000)
この人物の情報
schema:name | Automated Deduction, International Conference on; Conference on Automated Deduction, International; CADE |
schema:birthDate | 1984 |
schema:deathDate | 2000 |
schema:name | Automated Deduction, International Conference on; Conference on Automated Deduction, International; CADE |
schema:birthDate | 1984 |
schema:deathDate | 2000 |