Поиск по: -
Поискать по всем серверам
На этой странице приведены все страницы, которые ссылаются на http://lib.mexmat.ru/showsubject/126955. Показаны документы 1 - 1 из 1.
1. Верещагин Н.К., Шень А. - Языки и исчисления :: Электронная библиотека
Электронная библиотека Попечительского совета . ... Верещагин Н.К., Шень А. - Языки и исчисления . ... Название: Языки и исчисления . Авторы: Верещагин Н.К., Шень А. Аннотация: . Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. ... Язык: . ... Аксиомы исчисления высказываний 48 . Аксиомы исчисления секвенций 67 . ... Исчисление высказываний 48 160 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/61 -- 99.6 Кб -- 09.04.2016
Похожие документы
Похожие документы