Intuitionistic modal logic and applications (IMLA '02): workshop proceedings : LICS satellite workshop to the 3rd Federated Logic Conference (FLoC'02), Copenhagen, DK, 26 July 2002.
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: IMLA Kopenhagen (VerfasserIn)
Weitere Verfasser: Goré, Rajeev (HerausgeberIn), Mendler, Michael (HerausgeberIn), Paiva, Valeria de (HerausgeberIn)
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Bamberg Otto-Friedrich-Universität 2002
Schriftenreihe:Bamberger Beiträge zur Wirtschaftsinformatik und angewandten Informatik Nr. 61
Schlagworte:
Online-Zugang:Inhaltsverzeichnis
Beschreibung:102 Seiten Illustrationen

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis