RUSSIAN

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

By Чень Ч. , Ли Р.

Book information

Publisher
Наука
Year
1983
Language
russian
Format
PDF
Filesize
56 MB (58766978 bytes)
Series
Математическая логика и основания математики
Pages
360\360
Time added
2021-05-28 12:10:22

Similar books