Automated reasoning with analytic tableaux and related methods 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021 : proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	TABLEAUX (VerfasserIn)
Weitere Verfasser:	Das, Anupam (HerausgeberIn), Negri, Sara (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2021
Schriftenreihe:	Lecture notes in computer science 12842. Lecture notes in artificial intelligence
Schlagworte:	Konferenzschrift > Automatisches Beweisverfahren > Automatentheorie > Modallogik
Online Zugang:	Inhaltsverzeichnis 1850-9999
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!