Difference between revisions of "CADE1988"
Jump to navigation
Jump to search
(modified through wikirestore by orapi) |
(modified through wikirestore by orapi) |
||
Line 2: | Line 2: | ||
|Field=Automated Deduction | |Field=Automated Deduction | ||
|Acronym=CADE 1988 | |Acronym=CADE 1988 | ||
− | |End date=1988 | + | |End date=1988-05-26 |
|Series=CADE | |Series=CADE | ||
|Type =Conference | |Type =Conference | ||
Line 8: | Line 8: | ||
|State=US/WI | |State=US/WI | ||
|City =US/WI/Argonne | |City =US/WI/Argonne | ||
+ | |Year =1988 | ||
|Homepage=dblp.uni-trier.de/db/conf/cade/cade88.html | |Homepage=dblp.uni-trier.de/db/conf/cade/cade88.html | ||
− | |Start date=1988 | + | |Start date=1988-05-23}} |
− | }} |
Revision as of 03:46, 19 November 2021
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at CADE1988/rating
CADE1988 | |
---|---|
Event in series | CADE |
Dates | 1988-05-23 (iCal) - 1988-05-26 |
Homepage: | dblp.uni-trier.de/db/conf/cade/cade88.html |
Location | |
Location: | US/WI/Argonne, US/WI, US |
Table of Contents | |