Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG
Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe  Suche: Personen Einrichtungen sonstige Einträge Lehrveranstaltungen Räume          Lehr- veranstaltungen     Personen/ Einrichtungen     Räume     Telefon & E-Mail
Darstellung   Druckansicht      Außerdem im UnivIS   Vorlesungsverzeichnis     Veranstaltungskalender	Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Mendler, Michael: Can we specify finite-state systems in a fragment of propositional logic? In: Straube, B. (Hrsg.) : Use of Process Algebras in Design (3rd Euroform Workshop, Februar 1995). Dresden : Fraunhofer Institut, 1995, S. 23 Seiten. Institution: Professur für Grundlagen der Informatik UnivIS ist ein Produkt der Config eG, Buckenhof