Modallogik
M. Sc. Jonas Forster
Studon
German
Lehrstuhl für Informatik 8 (Theoretische Informatik)
MultiMediaZentrum
lecture
university lecture