Author books / Книги автора 杨路张景中侯晓蓉 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора 杨路张景中侯晓蓉

book 非线性代数方程组与定理机器证明

非线性代数方程组与定理机器证明

pdf

Author: 杨路张景中侯晓蓉
Language: Chinese
Year: 1996

00

08.02.2024

0

0

book 王者之路: 机器证明及其应用

王者之路: 机器证明及其应用

pdf

Author: 吴文俊, 张景中, 杨路, 侯晓荣, 刘卓军
Language: Chinese
Year: 1999

00

07.02.2024

0

0

book 迭代方程与嵌入流

迭代方程与嵌入流

pdf

Author: 张景中, 杨路, 张伟年
Language: Chinese
Year: 1998

00

07.02.2024

0

0

book 非线性代数方程组与定理机器证明

非线性代数方程组与定理机器证明

pdf

Author: 杨路
Language: Chinese
Year: 1996

00

07.02.2024

0

0