Логика и компьютер: курс логики и компьютерный практикум; Вып. 3; Доказательство и его поиск
| Hovedforfatter: | |
|---|---|
| Institution som forfatter: | |
| Andre forfattere: | , , |
| Sprog: | russisk |
| Udgivet: |
Москва, Наука, 1996
|
| Serier: | Кибернетика: неограниченные возможности и возможные ограничения |
| Fag: | |
| Format: | Ukendt |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=3003 |