Burkart, Olaf: Automatic verification of sequential infinite state processes
/ Olaf Burkart. - Berlin : Springer, 1997. - X, 163 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1354)
ISBN 978-3-540-63982-4 / 3-540-63982-9 kart. : DM 50.00
Quelle: DNB
Burkart, Olaf: Automatic verification of sequential infinite state processes
/ O. Burkart. - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1354)
ISBN 978-3-540-69678-0
Lizenzpflichtig
Quelle: DNB
Brendel, Elke: Einführung in die Modallogik
/ Elke Brendel. - Frankfurt am Main : Vittorio Klostermann GmbH, 2021. - 191 Seiten; 20 cm, 202 g - (Logik-Skript / Elke Brendel; 2)
ISBN 978-3-465-04528-1 / 3-465-04528-9 Broschur : circa EUR 18.80 (DE), circa EUR 19.40 (AT)
Quelle: DNB
Executable modal and temporal logics
: proceedings / IJCAI '93 workshop, Chambery, France, August 28, 1993 / Michael Fisher ; Richard Owens (ed.). - Berlin : Springer, 1995. - 180 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 897 : Lecture notes in artificial intelligence)
ISBN 978-3-540-58976-1 / 3-540-58976-7 kart. : DM 46.00
Literaturangaben
Quelle: DNB
Więckowski, Bartosz: Gott in möglichen Welten
: eine Analyse des modalen ontologischen Arguments für die Existenz Gottes von Alvin Plantinga / Bartosz Wiec̜kowski. - Münster : Lit, 1999. - IV, 102 S.; 21 cm - (Pontes; Bd. 2)
ISBN 978-3-8258-4412-7 / 3-8258-4412-9 kart. : DM 29.80
Literaturverz. S. 100 - 102
Quelle: DNB
Logic, language, and computation
: revised selected papers / 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12 - 16, 2005. Balder D. ten Cate ; Henk W. Zeevat (ed.). - Berlin : Springer, 2007. - XII, 280 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4363 : Lecture notes in artificial intelligence)
ISBN 978-3-540-75143-4 / 3-540-75143-2 kart. : EUR 48.15 (freier Pr.), sfr 78.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Logic, language, and computation
: revised selected papers / 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12 - 16, 2005. Balder D. ten Cate ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4363 : Lecture notes in artificial intelligence)
ISBN 978-3-540-75144-1
Lizenzpflichtig
Quelle: DNB
Buddensiek, Friedemann: Die Modallogik des Aristoteles in den Analytica priora A
/ Friedemann Buddensiek. - Hildesheim : Olms, 1994. - 143 S.; 21 cm - (Zur modernen Deutung der Aristotelischen Logik; Bd. 6)
ISBN 978-3-487-09888-3 / 3-487-09888-1 kart. : DM 37.80
Literaturverz. S. 121 - 138
Quelle: DNB
Nonclassical logics and information processing
: international workshop Berlin, Germany, November 9 - 10, 1990 ; proceedings / D. Pearce ; H. Wansing (ed.). - Berlin : Springer, 1992. - 171 S.; 25 cm - (Lecture notes in computer science; Vol. 619 : Lecture notes in artificial intelligence)
ISBN 978-3-540-55745-6 / 3-540-55745-8 kart. : DM 46.00
Literaturangaben
Quelle: DNB
Löffler, Winfried: Notwendigkeit, S5 und Gott
: das ontologische Argument für die Existenz Gottes in der zeitgenössischen Modallogik / Winfried Löffler. - Münster : Lit, 2000. - X, 125 S.; 21 cm - (Pontes; Bd. 4)
ISBN 978-3-8258-4817-0 / 3-8258-4817-5 kart. : DM 29.80
Quelle: DNB
