IJCAR

AcronymDefinition
IJCARInternational Joint Conference on Automated Reasoning
Copyright 1988-2018 AcronymFinder.com, All rights reserved.
References in periodicals archive ?
CASC is held at the International Conference on Automated Deduction (CADE) or the International Joint Conference on Automated Reasoning (IJCAR, which replaces CADE on alternate years) each year.
In International Joint Conference on Automated Reasoning (IJCAR), volume 7364 of LNCS, pages 332-338, Manchester (UK), June 2012.
In Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2001), volume 2083 of Lecture Notes in Artificial Intelligence, 701-705.