A resolution method for some systems of modal logic

Delft, Techn. Univ., Diss. : 1992

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Sommerhalder, R. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	1992
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!