Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG

Gore, R. ; Mendler, Michael ; De Paiva, V. (Hrsg.): Intuitionistic Modal Logic and Applications . (IMLA'02 Copenhagen, DK July 2002) 2002. - 100 Seiten. Institution: Professur für Grundlagen der Informatik

UnivIS ist ein Produkt der Config eG, Buckenhof