Российская академия наук & Смирнов В. А. (1995). Логика и компьютер; Вып. 2; Логические языки, содержательные рассуждения и методы поиска доказательств. Москва, Наука, 1995.
Chicagoスタイル(17版)引用形式Российская академия наук , Смирнов В. А. Логика и компьютер; Вып. 2; Логические языки, содержательные рассуждения и методы поиска доказательств. Москва, Наука, 1995, 1995.
MLA(9版)引用形式Российская академия наук , Смирнов В. А. Логика и компьютер; Вып. 2; Логические языки, содержательные рассуждения и методы поиска доказательств. Москва, Наука, 1995, 1995.
警告: この引用は必ずしも正確ではありません.