Формална граматика на българския език

(5/5) - 330 оценки
Автори: Петя Осенова, Кирил Симов
Издател: Институт за паралелна обработка на информацията, БАН
Жанр: Unknown
Страници: 126
Език: bulgarian
Година: 2007
ISBN 10: 9549214826
ISBN 13: 9789549214826
Серия: Неизвестен
Издание: Неизвестен
6 058 души са изтеглили тази книга безплатно

Synopsis

Constructive type theory was first presented in 1970 by Swedish logician Per Martin-Lof. Since then, it has become one of the main approaches in the foundations of mathematics and computer science. However, although it provides a considerable extension of...