TU München - Fakultät für Informatik
Software- and Systems Engineering Research Group

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Abschlussarbeiten  |  Sonstiges  |  Kontakt  | 

|    

Kompetenzzentrum Theorem Proving

Abstract and Vision

Foundations and Applications of Machine Supported Proofs

Theorem Proving Group