Unifiability in extensions of K4:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Gencer, Çiğdem (VerfasserIn), Jongh, Dick de (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Amsterdam Inst. for Logic, Language and Computation 2007
Schriftenreihe:ILLC research report and technical notes series Logic, philosophy and linguistics series ; 2007,38
Beschreibung:Online-Ausg.: . http://www.illc.uva.nl/Publications/ResearchReports/PP-2007-38.text.pdf
Beschreibung:13 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!