Title | Acronym | Source | Rank | Note | DBLP | Primary FoR | Comments | Average Rating |
---|---|---|---|---|---|---|---|---|
International Joint Conference on Automated Reasoning | IJCAR | CORE2017 | A* | none |
view
|
0801 | 0 | N/A |