Language: English

圖資館首頁

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Ranta, Aarne.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Structural proof theory by: Negri, Sara.; Ranta, Aarne.; von Plato, Jan. (Electronic resources)

Advances in Natural Language Processing6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedings / by: (1998 :); Nordstrom, Bengt.; Ranta, Aarne.; SpringerLink (Online service) (Electronic resources)

Subjects

Mathematical Logic and Formal Languages. Natural language processing (Computer science) Language Translation and Linguistics. Artificial Intelligence (incl. Robotics) Document Preparation and Text Processing. Information Storage and Retrieval. Proof theory. Computer Science.

Change password

Login