Title | Acronym | Source | Rank | Note | DBLP | Primary FoR | Comments | Average Rating |
---|---|---|---|---|---|---|---|---|
Asia Information Retrieval Symposium | AIRS | CORE2017 | C | none |
view
|
0806 | 0 | N/A |
International Symposium on Circuits and Systems | CIRSYS | CORE2017 | C | none | none | 1006 | 1 | 1.0 |
International Workshops on First-Order Theorem Proving | FTP | CORE2017 | B | none | none | 0802 | 0 | N/A |