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

Contact

email: nikpow@in.tum.de phone: +49 89 289 17302 fax: +49 89 289 17307 office: 01.11.058 (Boltzmannstr. 3, Garching) snail: Prof. Tobias Nipkow Institut für Informatik Technische Universität München Boltzmannstr. 3 D-85748 Garching Germany