Значок книги

Исследования по формализованным языкам и неклассическим логикам АН СССР, Государственный комитет Совета Министров СССР по науке и технике, ВИНИТИ

Сохранить в:

Библиографические подробности
Тип документа:	Книга
Язык:	Russian
Год издания:	Москва Наука 1974
Ключевые слова:	Математическая лингвистика Математическая логика Информационный язык

Схожие документы

Исследования по неклассическим логикам и формальным системам
Год издания: (1983)

Исследования по неклассическим логикам и теории множеств
Год издания: (1979)

Исследования по неклассическим логикам
Год издания: (1989)

Моделирование смысла термина информационно-поискового языка
Автор: Бухалева Э. И.
Год издания: (1978)

Принципы моделирования языка
Автор: Денисов П. Н.
Год издания: (1965)

Формальные грамматики и языки
Автор: Гладкий А. В.
Год издания: (1973)

Общение человека и ЭВМ
Год издания: (2004)

Статистика речи и автоматический анализ текста
Год издания: (1974)

Задачник по математической логике
Автор: Горбатов В. А.
Год издания: (1972)

Исследования по теории алгорифмов и математический логике
Год издания: (1979)

Исследования по теории алгорифмов и математический логике
Год издания: (1976)

Автоматизация в лингвистике
Год издания: (1966)

Использование ЭВМ в лингвистических исследованиях
Год издания: (1990)

Квантитативная лингвистика
Автор: Арапов М. В.
Год издания: (1988)

Математическая теория контекстно-свободных языков
Автор: Гинзбург С.
Год издания: (1970)

Элементы математической лингвистики
Автор: Гладкий А. В.
Год издания: (1969)

Статистико-комбинаторное моделирование языков
Год издания: (1965)

Математические методы в языкознании
Год издания: (1990)

Компьютерная лингвистика для всех
Автор: Анисимов А. В.
Год издания: (1991)

Кибернетическая лингвистика
Год издания: (1983)

Игра и логика
Автор: Бизам Д.
Год издания: (1975)

Вычислимость и логика
Автор: Булос Д.
Год издания: (1994)

Учимся рассуждать и доказывать
Автор: Никольская И. Л.
Год издания: (1989)

Теория моделей и ее применение
Год издания: (1988)

Непрерывная логика. Теория и применения
Автор: Волгин Л. И.
Год издания: (1990)

Элементы математической логики и некоторые алгебраические понятия
Автор: Ковригина Л. П.
Год издания: (1974)

Проблема неполноты теории и ее гносеологическое значение
Автор: Антипенко Л. Г.
Год издания: (1986)

Полнота и аксиоматизируемость неклассических логик с дополнительными логическими связками
Автор: Яшин А. Д.
Год издания: (2000)

Прикладная логика
Автор: Непейвода Н. Н.
Год издания: (1997)

Исследования по синтаксической семантике
Автор: Богуславский И. М.
Год издания: (1985)

Математическая логика
Автор: Игошин В. И.
Год издания: (2012)

Многоцветная логика
Автор: Бизам Д.
Год издания: (1978)

Ламбда-исчисление
Автор: Барендрегт Х. П.
Год издания: (1985)

Популярная логика
Автор: Гжегорчик А.
Год издания: (1965)

Основания математики
Автор: Гильберт Д.
Год издания: (1979)

Элементарное введение в символическую логику
Автор: Бродский И. Н.
Год издания: (1972)

Популярная логика
Автор: Гжегорчик А.
Год издания: (1979)

Популярная логика
Автор: Гжегорчик А.
Год издания: (1972)

Рекурсивный математический анализ
Автор: Гудстейн Р. Л.
Год издания: (1970)

Основания математики
Автор: Гильберт Д.
Год издания: (1982)