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

Bibliografiske detaljer
Parent link:Исследования по теоретической физике и математике.— 1964.— С. 3-16
Hovedforfatter: Таутс А.
Sprog:russisk
Udgivet: 1964
Format: Book Chapter
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=212576