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

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Смирнов В. А.
مؤلف مشترك: Российская академия наук
مؤلفون آخرون: Маркин В. И., Новодворский А. Е., Смирнов А. В.
اللغة:الروسية
منشور في: Москва, Наука, 1996
سلاسل:Кибернетика: неограниченные возможности и возможные ограничения
الموضوعات:
التنسيق: MixedMaterials
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=3003