Логика и компьютер. [Вып.] 2 : Логические языки, содержательные рассуждения и методы поиска доказательств / [отв. ред. В. А. Смирнов]

Другие авторы:

Сводное описание: Логика и компьютерЯзык: Русский Выходные данные: 1995Физическая характеристика: 131 сISBN:

УДК:510.6 ; 510.6:681.3

Тип экземпляра: Книга

Экземпляры
Тип экземпляра	Текущая библиотека	Шифр хранения	Статус	Срок возврата	Штрих-код
Книга	Институт прикладной математики им. М.В. Келдыша	51/Л-69	Доступно

Библиогр. в конце ст