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.

Bibliographische Detailangaben

Körperschaft:	IMLA (VerfasserIn)
Weitere Verfasser:	Goré, Rajeev (HerausgeberIn), Mendler, Michael (HerausgeberIn), Paiva, Valeria de (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Bamberg Otto-Friedrich-Universität 2002
Schriftenreihe:	Bamberger Beiträge zur Wirtschaftsinformatik und angewandten Informatik Nr. 61
Schlagworte:	Konferenzschrift > Aufsatzsammlung
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!