APA (7th ed.) Citation

Алешина, Н. А. Н. А., Анисов, А. М. А. М., Быстров, П. И. П. И., Герасимова, И. А., Меськов, В. С., & Смирнова, Е. Д. Е. Д. (1990). Логика и компьютер: Моделирование рассуждений и проверка правильности программ. Наука.

Chicago Style (17th ed.) Citation

Алешина, Н. А. Наталия Альбертовна, А. М. Александр Михайлович Анисов, П. И. Петр Иванович Быстров, И. А Герасимова, В. С Меськов, and Е. Д. Елена Дмитриевна Смирнова. Логика и компьютер: Моделирование рассуждений и проверка правильности программ. М.: Наука, 1990.

MLA (8th ed.) Citation

Алешина, Н. А. Наталия Альбертовна, et al. Логика и компьютер: Моделирование рассуждений и проверка правильности программ. Наука, 1990.