˜Aœ proof system for finite trees

Bibliographische Detailangaben

1. Verfasser:	Blackburn, Patrick (VerfasserIn)
Weitere Verfasser:	Meyer-Viol, Wilfried (VerfasserIn), Rijke, Maarten de (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Saarbrücken Univ. des Saarlandes, Computerlinguistik 1995
Schriftenreihe:	Universität <Saarbrücken> / Computerlinguistik: Computerlinguistik an der Universität des Saarlandes 67
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!