First-order dynamic logic

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540092377
3540092374
9780387092379
0387092374
Maße
25 cm
Umfang
133 S.
Sprache
Deutsch
Anmerkungen
Zugl.: Cambridge (Mass.), Massachusetts Inst. of Technology, Diss., 1978.

Erschienen in
Lecture notes in computer science ; Vol. 68

Schlagwort
Modale Logik
Programmiersprache
Programmierung
Modalitätenlogik
Programmiersprachen
Programmierung (Datenverarbeitung)
Modallogik
Programmiersprache
Programmierung

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York
(wer)
Springer
(wann)
1979
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
2025-06-11T14:18:17+0200

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 1979

Ähnliche Objekte (12)