Российская академия наук & Смирнов В. А. (1995). Логика и компьютер; Вып. 2; Логические языки, содержательные рассуждения и методы поиска доказательств. Москва, Наука, 1995.
Cytowanie według stylu Chicago (wyd. 17)Российская академия наук i Смирнов В. А. Логика и компьютер; Вып. 2; Логические языки, содержательные рассуждения и методы поиска доказательств. Москва, Наука, 1995, 1995.
Cytowanie według stylu MLA (wyd. 9)Российская академия наук i Смирнов В. А. Логика и компьютер; Вып. 2; Логические языки, содержательные рассуждения и методы поиска доказательств. Москва, Наука, 1995, 1995.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..