IJCAR

AcronymDefinition
IJCAR➣International Joint Conference on Automated Reasoning