Российская академия наук & Смирнов В. А. (1995). Логика и компьютер; Вып. 2; Логические языки, содержательные рассуждения и методы поиска доказательств. Москва, Наука, 1995.
Chicago Style (17th ed.) CitationРоссийская академия наук and Смирнов В. А. Логика и компьютер; Вып. 2; Логические языки, содержательные рассуждения и методы поиска доказательств. Москва, Наука, 1995, 1995.
MLA (9th ed.) CitationРоссийская академия наук and Смирнов В. А. Логика и компьютер; Вып. 2; Логические языки, содержательные рассуждения и методы поиска доказательств. Москва, Наука, 1995, 1995.
Warning: These citations may not always be 100% accurate.