Automated reasoning with analytic tableaux and related methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019 : proceedings

Bibliographische Detailangaben

Körperschaft:	TABLEAUX (VerfasserIn)
Weitere Verfasser:	Cerrito, Serenella (HerausgeberIn), Popescu, Andrei (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham, Switzerland Springer 2019
Schriftenreihe:	Lecture notes in computer science 11714
Schlagworte:	Automatic theorem proving > Konferenzschrift > Automatisches Beweisverfahren > Schlussfolgern
Online Zugang:	Inhaltsverzeichnis Inhaltstext 1850-9999
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!