Математическая логика и автоматическое доказательство теорем

Author: Чень Ч., Ли Р.
Publisher: Наука
Language: Russian
Year: 1983
Page: 359
File Type: djvu
File Size: 4.0 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book