|
| |
7. Teleseminar Karlsruhe-Koblenz: Automated Theorem Proving and
Applications
Termine
(jeweils von 9.45 - 11.15 Uhr im Multimedia-Hörsaal -102 im Gebäude 50.34)
| 01. Juni 2001 |
C. Ballarin (Karlsruhe)
Constraint Contextual Rewriting (CCR) und dessen Anwendung auf das Computeralgebrasystem
Maple |
| 08. Juni 2001 |
G. Beuster (Koblenz)
Automatische Klassifizierung semi-strukturierter Dokumente |
| 13. Juli 2001 |
Frieder Stolzenburg (Koblenz)
From the Specification of Multiagent Systems by Statecharts to their Formal Analysis by
Model Checking |
|
