語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

語系

英文 (1)

跳至 : 概要 | 書目資訊 | 主題

Ranta, Aarne.

概要

作品:	1 作品在 1 項出版品 1 種語言

書目資訊

Structural proof theory by: Negri, Sara.; Ranta, Aarne.; von Plato, Jan. (書目-電子資源)

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) (書目-電子資源)

主題

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.

變更密碼

登入