Таутс А. (1964). Решение логических уравнений методом итерации в исчислении предикатов первого порядка. 1964.
Chicago Style (17th ed.) CitationТаутс А. Решение логических уравнений методом итерации в исчислении предикатов первого порядка. 1964, 1964.
ציטוט MLAТаутс А. Решение логических уравнений методом итерации в исчислении предикатов первого порядка. 1964, 1964.
אזהרה: ציטוטים אלה לעיתים לא מדויקים ב 100%.