Ebook: Математическая логика и автоматическое доказательство теорем
Author: Чень Ч. Ли Р.
- Genre: Математика // Математическая логика
- Tags: Математика, Математическая логика
- Year: 1983
- Publisher: Наука
- Language: Русский
- djvu
Download the book Математическая логика и автоматическое доказательство теорем for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)