Логика и компьютер: курс логики и компьютерный практикум; Вып. 3; Доказательство и его поиск

Dades bibliogràfiques
Autor principal: Смирнов В. А.
Autor corporatiu: Российская академия наук
Altres autors: Маркин В. И., Новодворский А. Е., Смирнов А. В.
Idioma:rus
Publicat: Москва, Наука, 1996
Col·lecció:Кибернетика: неограниченные возможности и возможные ограничения
Matèries:
Format: Mixed Materials
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=3003
Descripció
Descripció física:255 с.
ISBN:5020136034