˜Aœ proof system for finite trees

Bibliographische Detailangaben

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