A tableaux calculus for ambiguous quantification

Bibliographische Detailangaben

Hauptverfasser:	Monz, Christof (VerfasserIn), Rijke, Maarten de (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Amsterdam Inst. for Logic, Language and Computation 1998
Schriftenreihe:	Logic, philosophy and linguistics series] Instituut voor Taal, Logica en Informatie <Amsterdam>: [ILLC research report and technical notes series 1998,10
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!