Arbeitsgruppe Rechnergestützte Programmentwicklung

Wintersemester 2011/12

Mathematik für Informatiker A

Seminar: Proofs from the BOOK

Arbeitsgemeinschaft Informatik, Logik, Mathematik