Difference between revisions of "CADE1990"
Jump to navigation
Jump to search
(modified through wikirestore by Th) |
(modified through wikirestore by orapi) |
||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
+ | |Start date=24/07/1990 | ||
+ | |Acronym=CADE 1990 | ||
+ | |Series=CADE | ||
+ | |End date=27/07/1990 | ||
+ | |City=Kaiserslautern | ||
+ | |Country=Germany | ||
|Field=Automated Deduction | |Field=Automated Deduction | ||
− | + | |Type=Conference | |
− | |||
− | |||
− | |Type | ||
− | |||
− | |||
− | |||
|Homepage=dblp.uni-trier.de/db/conf/cade/cade90.html | |Homepage=dblp.uni-trier.de/db/conf/cade/cade90.html | ||
− | | | + | |State=DE/RP}} |
Revision as of 16:12, 3 November 2021
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at CADE1990/rating
CADE1990 | |
---|---|
Event in series | CADE |
Dates | 24/07/1990 (iCal) - 27/07/1990 |
Homepage: | dblp.uni-trier.de/db/conf/cade/cade90.html |
Location | |
Location: | Kaiserslautern, DE/RP, Germany |
Table of Contents | |