Difference between revisions of "CADE1997"

From OPENRESEARCH th copy Wiki
Jump to navigation Jump to search
(pushed from ori5 by wikipush)
 
(edited by wikiedit)
 
Line 9: Line 9:
 
|Country=Australia
 
|Country=Australia
 
|Field=Automated Deduction
 
|Field=Automated Deduction
|Type=Conference
+
|Event type=Conference
 
|Homepage=www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-14/
 
|Homepage=www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-14/
 
}}
 
}}

Latest revision as of 10:32, 8 March 2021

CADE1997
Event in series CADE
Dates 13/07/1997 (iCal) - 17/07/1997
Homepage: www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-14/
Location
Location: Townsville, Australia
Loading map...

Papers: Submitted 87 / Accepted 42 (48.3 %)
Table of Contents