KIT - Fakultät für Mathematik - Computer-Assisted Proofs and Verification Methods

$Webrelaunch 2020$

Fakultät für Mathematik

Startseite

Institute

Institut für Analysis

Computer-Assisted Proofs and Verification Methods - Japanese-German Workshop

Computer-Assisted Proofs and Verification Methods - Japanese-German Workshop

Computer-Assisted Proofs and Verification Methods

Termin: 18.9.2011 - 22.9.2011

Für nähere Informationen sehen Sie bitte die englische Webseite der Veranstaltung!