Title | Acronym | Source | Rank | Note | DBLP | Primary FoR | Comments | Average Rating |
---|---|---|---|---|---|---|---|---|
International Conference on Theorem Proving with Analytic Tableaux and Related Methods | TABLEAUX | CORE2017 | A | none |
view
|
0802 | 0 | N/A |