RUSSIAN

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

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

Book information

Publisher
Наука
Year
1983
Language
russian
Format
DJVU
Filesize
4 MB (4233927 bytes)
Pages
359\359
Topic
Mathematics Logic
Library
Kolxo3
Time added
2009-07-20 03:45:11
Математика;Математическая логика

Similar books