Hochschulschrift

Proof search in multi-agent dialogues for modal logic

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783863095994
3863095995
Maße
24 cm
Umfang
xiv, 224 Seiten
Sprache
Englisch
Anmerkungen
Otto-Friedrich-Universität Bamberg, Dissertation, 2018

Erschienen in
Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friedrich-Universität Bamberg / Universität Bamberg ; Band 32

Klassifikation
Informatik
Schlagwort
Mathematische Logik ; Spieltheorie ; Mehragentensystem

Ereignis
Veröffentlichung
(wo)
Bamberg
(wer)
University of Bamberg Press
(wann)
2018
Urheber
Beteiligte Personen und Organisationen

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.03.2025, 11:42 MEZ

Datenpartner

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

Objekttyp

  • Hochschulschrift

Beteiligte

Entstanden

  • 2018

Ähnliche Objekte (12)