方程求解与机器证明基于MMP的问题求解(数学机械化丛书)

高小山王定康裘宗燕杨宏著

0 / 0

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Рік:

2006

Мова:

chinese

Сторінки:

296

Файл:

PDF, 11.58 MB

IPFS:

chinese, 2006

Читати Онлайн

Виконується конвертація в

Конвертація в не вдалась

方程求解与机器证明 基于MMP的问题求解(数学机械化丛书)