Labelled modal logics
quantifiers
Basin, David A. ; Matthews, Sean ; Viganò, Luca 1997 MPI Informatik, Bibliothek & Dokumentation
- Link zu diesem Datensatz
-
https://d-nb.info/949708003
- Titel
-
Labelled modal logics : quantifiers
- Art des Inhalts
- Monographie
- Verfassangaben
- David Basin ; Seán Matthews ; Luca Viganò. [Max-Planck-Institut für Informatik]
- Autor(en)
-
- Basin, David A.
- Matthews, Sean
- Viganò, Luca
- Verlag
- Saarbrücken : MPI Informatik, Bibliothek & Dokumentation [1997]
- Jahr
- Erscheinungsdatum: 1997
- Umfang/Format
- III, 30 S.
- Sprache
- eng
- Sachgruppe(n)
-
- Anmerkungen
-
Literaturverz. S. 29 - 31
- Stand
- 30.06.2023 17:09
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
