Treffer: A proof system for finite trees
Titel:
A proof system for finite trees / Patrick Blackburn ; Wilfried Meyer-Viol ; Maarten de Rijke
Verantwortlich:
Veröffentlicht:
Saarbrücken : Univ. des Saarlandes, Computerlinguistik, 1995
Umfang:
19 S.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Universität des Saarlandes. Computerlinguistik: Report ; 67
alle Bände anzeigen
alle Bände anzeigen