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

Dettagli Bibliografici
Autore principale: Смирнов В. А.
Ente Autore: Российская академия наук
Altri autori: Маркин В. И., Новодворский А. Е., Смирнов А. В.
Lingua:russo
Pubblicazione: Москва, Наука, 1996
Serie:Кибернетика: неограниченные возможности и возможные ограничения
Soggetti:
Natura: Mixed Materials
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=3003
Descrizione
Descrizione fisica:255 с.
ISBN:5020136034