Difference between revisions of "CADE1988"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by orapi)
(modified through wikirestore by orapi)
 
(One intermediate revision by the same user not shown)
Line 2: Line 2:
 
|Field=Automated Deduction
 
|Field=Automated Deduction
 
|Acronym=CADE 1988
 
|Acronym=CADE 1988
|End date=1988/05/26
+
|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/05/23
+
|Start date=1988-05-23
 
}}
 
}}

Latest revision as of 04:23, 6 December 2021


Event Rating

median worst
Pain1.svg Pain4.svg

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
Loading map...

Table of Contents