Languages
Ranta, Aarne.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Structural proof theory
by:
Negri, Sara.{me_controlnum}; Ranta, Aarne.; von Plato, Jan.
(Electronic resources)
Advances in Natural Language Processing = 6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedings /
by:
Nordstrom, Bengt.; Ranta, Aarne.; SpringerLink (Online service); GoTAL 2008 (2008 :)
(Language materials, printed)