Hochschulschrift

Proof search in multi-agent dialogues for modal logic

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783863095994
3863095995
Dimensions
24 cm
Extent
xiv, 224 Seiten
Language
Englisch
Notes
Otto-Friedrich-Universität Bamberg, Dissertation, 2018

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

Classification
Informatik
Keyword
Mathematische Logik ; Spieltheorie ; Mehragentensystem

Event
Veröffentlichung
(where)
Bamberg
(who)
University of Bamberg Press
(when)
2018
Creator
Contributor

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.03.2025, 11:42 AM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Hochschulschrift

Associated

Time of origin

  • 2018

Other Objects (12)