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