Conference on Automated Deduction container_knemldwow5adthakfcagposgzm

232
Known Releases
Preservation Summary [more]
131 preserved and accessble (bright)
0 preserved, inaccessible (dark)
101 no known preservation
Release Types
paper-conference 139
chapter 93
Publication Type  conference-series
Wikidata  Q5159939
dblp  conf/cade
Directory Listings
Not in DOAJ
Lookup Links
Catalog Record
Revision: f5bb095a-07d5-47c9-9b45-b1abbb0d8357
API URL: JSON