Решение логических уравнений методом итерации в исчислении предикатов первого порядка; Исследования по теоретической физике и математике

Opis bibliograficzny
Parent link:Исследования по теоретической физике и математике.— 1964.— С. 17-24
1. autor: Таутс А.
Język:rosyjski
Wydane: 1964
Format: Rozdział
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=212577

Podobne zapisy