Automated reasoning with analytic tableaux and related methods 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21 - 24, 2015 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	TABLEAUX (VerfasserIn)
Weitere Verfasser:	Nivelle, Hans de (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2015
Schriftenreihe:	Lecture notes in computer science 9323
Schlagworte:	Konferenzschrift
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!