"Aarne Ranta" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Type-theoretical grammar

Категория: L_Languages, LF_Formal theory

2.33 Mb

#2

Advances in natural language processing: 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008: proceedings

Aarne Ranta, Bengt Nordström

7.78 Mb

#3

Type-Theoretical Grammar (Indices, 1

Категория: cultures_languages

2.35 Mb

#4

Structural proof theory

Professor Sara Negri, Jan von Plato, Aarne Ranta

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.45 Mb