Browse wiki

Jump to: navigation, search
CADE 2003
Acronym
CADE 2003  +
End date
February 8, 2003  +
Event in series
CADE +
Event type
Conference  +
Has coordinates
25° 47' 35", -80° 8' 7"Latitude: 25.792919444444
Longitude: -80.1353  +
Has location city
Miami Beach +
Has location country
Category:USA +
Homepage
http://www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-19/CADE-19.shtml  +
IsA
Event  +
Start date
July 28, 2003  +
Submitted papers
83  +
Has query
"Has query" is a predefined property that represents meta information (in form of a subobject) about individual queries and is provided by Semantic MediaWiki.
CADE 2003 + , CADE 2003 + , CADE 2003 +
Creation date
"Creation date" is a predefined property that corresponds to the date of the first revision of a subject and is provided by Semantic MediaWiki.
17:56:39, 28 October 2016  +
Has processing error
"Has processing error" is a predefined property provided by Semantic MediaWiki and represents errors that appeared in connection with improper value annotations or input processing.
CADE 2003 + , CADE 2003 +
Categories
Automated Deduction , USA , Stand-alone event , Automated reasoning
Last editor is
"Last editor is" is a predefined property that contains the page name of the user who created the last revision and is provided by Semantic MediaWiki.
User:Said +
Modification date
"Modification date" is a predefined property that corresponds to the date of the last modification of a subject and is provided by Semantic MediaWiki.
17:56:39, 28 October 2016  +
hide properties that link here 
No properties link to this page.
 
Retrieved from "https://www.openresearch.org/wiki/Special:Browse/:CADE-202003"