Author Results for 付尧顺

郁文生，付尧顺，郭礼权著
郁文生，孙天宇，付尧顺著

1
分析基础机器证明系统

Cover is for reference only
Main Authors: 郁文生 (郁文生，付尧顺，郭礼权著); 付尧顺; 郭礼权
Published: 科学出版社
Publication Dates: 2022
Call Number: O171/4202
Book
Save to List
Saved in:
2
公理化集合论机器证明系统

Cover is for reference only
Main Authors: 郁文生 (郁文生，孙天宇，付尧顺著); 孙天宇; 付尧顺
Published: 科学出版社
Publication Dates: 2020
Call Number: O144-39/4202
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —