IJCAR
E260877
UNEXPLORED
IJCAR (International Joint Conference on Automated Reasoning) is a major international conference that brings together several leading events in automated reasoning into a single unified forum.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
CADE Inc.
→
|
relatedConferenceSeries |