International Joint Conference on Automated Reasoning
Sprache des Titels:
Englisch
Original Kurzfassung:
IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops.