高阶逻辑推导引擎证明:Isabelle/HOL
¥710.10
Tobias Nipkow,Lawrence C.Paulson,Markus Wenzel 著 /2002-05-01 /湖南文艺出版社
收藏