Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
Sammlung/Stundenplan
Home
|
Anmelden
|
Kontakt
|
Hilfe
Suche:
Personen
Einrichtungen
sonstige Einträge
Lehrveranstaltungen
Räume
Darstellung
Druckansicht
Außerdem im UnivIS
Vorlesungsverzeichnis
Veranstaltungskalender
Fairtlough, M. ;
Mendler, Michael
:
Propositional Lax Logic .
In:
Information and Computation
Vol.137 (1997), Nr. 1, S. 1-33
Institution:
Professur für Grundlagen der Informatik
UnivIS ist ein Produkt der
Config eG
, Buckenhof