Difference between revisions of "CADE1990"
		
		
		
		
		
		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 1990  | |Acronym=CADE 1990  | ||
| − | |End date=1990  | + | |End date=1990-07-27  | 
|Series =CADE  | |Series =CADE  | ||
|Type   =Conference  | |Type   =Conference  | ||
| Line 8: | Line 8: | ||
|State  =DE/RP  | |State  =DE/RP  | ||
|City   =DE/RP/Kaiserslautern  | |City   =DE/RP/Kaiserslautern  | ||
| + | |Year   =1990  | ||
|Homepage=dblp.uni-trier.de/db/conf/cade/cade90.html  | |Homepage=dblp.uni-trier.de/db/conf/cade/cade90.html  | ||
| − | |Start date=1990  | + | |Start date=1990-07-24}}  | 
Revision as of 02:21, 19 November 2021
Event Rating
| median | worst | 
|---|---|
List of all ratings can be found at CADE1990/rating
| CADE1990 | |
|---|---|
| Event in series | CADE | 
| Dates | 1990-07-24 (iCal) - 1990-07-27 | 
| Homepage: | dblp.uni-trier.de/db/conf/cade/cade90.html | 
| Location | |
| Location: | DE/RP/Kaiserslautern, DE/RP, DE | 
| Table of Contents | |