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

מידע ביבליוגרפי
מחבר ראשי: Смирнов В. А.
מחבר תאגידי: Российская академия наук
מחברים אחרים: Маркин В. И., Новодворский А. Е., Смирнов А. В.
שפה:רוסית
יצא לאור: Москва, Наука, 1996
סדרה:Кибернетика: неограниченные возможности и возможные ограничения
נושאים:
פורמט: Mixed Materials
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=3003