Tableau-Based Decision Procedure for Logic of Knowing-How via Simple Plans

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	CLAR (4. : 2021 : Hangzhou) Logic and Argumentation
1. Verfasser:	Li, Yanjun (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
ISBN:	9783030893903