Skip to content
  • Home
  • Aktuelles
  • Publikationen
    • Neuerscheinungen
    • Fachgebiete
      • Allgemeine und Vergleichende Literaturwissenschaft
      • Allgemeine und Vergleichende Sprachwissenschaft
      • Biologie
      • Chemie
      • Ethnologie
      • Geowissenschaften
      • Geschichte
      • Informatik, EDV
      • Kunst
      • Mathematik
      • Medizin
      • Musik
      • Pädagogik
      • Philosophie
      • Physik, Astronomie
      • Politikwissenschaft
      • Psychologie
      • Recht
      • Religion
      • Soziologie
      • Technik
      • Wirtschaft
    • Verlage
      • APOLLON
      • Bolzano University Press
      • FAU University Press
      • heiUP
      • KIT Scientific Publishing
      • Österreichische Akademie der Wissenschaften
      • universi – Universitätsverlag Siegen
      • Universitätsverlag Göttingen
      • Universitätsverlag Potsdam
      • Universitätsverlag TU Berlin
      • University of Bamberg Press
      • Verlag d. Technischen Universität Graz
  • Über
  • Mitglieder
  • Open Access
  • Materialien
  • Galerie
    • Fotos
    • Videos
  • Kontakt
  • Home
  • Aktuelles
  • Publikationen
    • Neuerscheinungen
    • Fachgebiete
      • Allgemeine und Vergleichende Literaturwissenschaft
      • Allgemeine und Vergleichende Sprachwissenschaft
      • Biologie
      • Chemie
      • Ethnologie
      • Geowissenschaften
      • Geschichte
      • Informatik, EDV
      • Kunst
      • Mathematik
      • Medizin
      • Musik
      • Pädagogik
      • Philosophie
      • Physik, Astronomie
      • Politikwissenschaft
      • Psychologie
      • Recht
      • Religion
      • Soziologie
      • Technik
      • Wirtschaft
    • Verlage
      • APOLLON
      • Bolzano University Press
      • FAU University Press
      • heiUP
      • KIT Scientific Publishing
      • Österreichische Akademie der Wissenschaften
      • universi – Universitätsverlag Siegen
      • Universitätsverlag Göttingen
      • Universitätsverlag Potsdam
      • Universitätsverlag TU Berlin
      • University of Bamberg Press
      • Verlag d. Technischen Universität Graz
  • Über
  • Mitglieder
  • Open Access
  • Materialien
  • Galerie
    • Fotos
    • Videos
  • Kontakt
Array ( [0] => Array ( [0] => Startseite [1] => https://universitaetsverlage.eu ) [1] => Array ( [0] => Informatik, EDV [1] => https://universitaetsverlage.eu/bucher-e-books/kategorie/informatik-edv/ ) [2] => Array ( [0] => Proof Search in Multi-Agent Dialogues for Modal Logic [1] => https://universitaetsverlage.eu/bucher-e-books/titel/proof-search-in-multi-agent-dialogues-for-modal-logic/ ) )
Array ( [0] => Array ( [0] => Startseite [1] => https://universitaetsverlage.eu ) [1] => Array ( [0] => Informatik, EDV [1] => https://universitaetsverlage.eu/bucher-e-books/kategorie/informatik-edv/ ) [2] => Array ( [0] => Proof Search in Multi-Agent Dialogues for Modal Logic [1] => https://universitaetsverlage.eu/bucher-e-books/titel/proof-search-in-multi-agent-dialogues-for-modal-logic/ ) )
Array ( [0] => Array ( [0] => Startseite [1] => https://universitaetsverlage.eu ) [1] => Array ( [0] => Informatik, EDV [1] => https://universitaetsverlage.eu/bucher-e-books/kategorie/informatik-edv/ ) [2] => Array ( [0] => Proof Search in Multi-Agent Dialogues for Modal Logic [1] => https://universitaetsverlage.eu/bucher-e-books/titel/proof-search-in-multi-agent-dialogues-for-modal-logic/ ) )
Array ( [0] => Array ( [0] => Startseite [1] => https://universitaetsverlage.eu ) [1] => Array ( [0] => Informatik, EDV [1] => https://universitaetsverlage.eu/bucher-e-books/kategorie/informatik-edv/ ) [2] => Array ( [0] => Proof Search in Multi-Agent Dialogues for Modal Logic [1] => https://universitaetsverlage.eu/bucher-e-books/titel/proof-search-in-multi-agent-dialogues-for-modal-logic/ ) )
Array ( [0] => Array ( [0] => Startseite [1] => https://universitaetsverlage.eu ) [1] => Array ( [0] => Informatik, EDV [1] => https://universitaetsverlage.eu/bucher-e-books/kategorie/informatik-edv/ ) [2] => Array ( [0] => Proof Search in Multi-Agent Dialogues for Modal Logic [1] => https://universitaetsverlage.eu/bucher-e-books/titel/proof-search-in-multi-agent-dialogues-for-modal-logic/ ) )
Array ( [0] => Array ( [0] => Startseite [1] => https://universitaetsverlage.eu ) [1] => Array ( [0] => Informatik, EDV [1] => https://universitaetsverlage.eu/bucher-e-books/kategorie/informatik-edv/ ) [2] => Array ( [0] => Proof Search in Multi-Agent Dialogues for Modal Logic [1] => https://universitaetsverlage.eu/bucher-e-books/titel/proof-search-in-multi-agent-dialogues-for-modal-logic/ ) )
Startseite › Informatik, EDV › Proof Search in Multi-Agent Dialogues for Modal Logic

Martin Sticht

Proof Search in Multi-Agent Dialogues for Modal Logic

Reihe: Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friedrich-Universität Bamberg

DOWNLOAD COVER
22,50 € inkl. MwSt.
22,50 € inkl. MwSt.

Produktinformationen

238 Seiten , Format 17,0 x 24,0
University of Bamberg Press

22,50 € inkl. MwSt.

ISBN: 978-3-86309-599-4

Erscheinungsdatum

Oktober 2018

Kategorie: Informatik, EDV

© 2018 Arbeitsgemeinschaft der Universitätsverlage | powered by Allegro Solutions | Impressum | Datenschutzhinweise
Diese Website benutzt Cookies, um Ihnen ein angenehmeres Surfen zu ermöglichen. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.OKMehr erfahren