Reasoning about continuous processes

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 1996, Pages 639-644

  Herrmann, Christoph S ^a   Thielscher, Michael ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DIFFERENTIATION (CALCULUS); FORMAL LOGIC; HIGH LEVEL LANGUAGES;

CONTINUOUS PROCESSES; HIGH LEVEL SEMANTICS; REASONING;

KNOWLEDGE BASED SYSTEMS;

EID: 0030362216     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (0)