22750 | IJCAR 2024 : International Joint Conference on Automated Reasoning | ||
---|---|---|---|
°³ÃÖÀÏÀÚ | 2024/07/01-06 | ±¹³»/±¹¿Ü | ±¹¿Ü |
ȨÆäÀÌÁö | https://merz.gitlabpages.inria.fr/2024-ijcar/ | Àå ¼Ò | Nancy, France |
IJCAR 2024 : International Joint Conference on Automated Reasoning July 1-6, 2024 Nancy, France |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.