1
Isabelle/HOL a proof assistant for higher-order logic

Cover is for reference only
Main Authors: Nipkow Tobias 1958-
Group Author: Paulson Lawrence C; Wenzel Markus
Published: Springer,
Publication Dates: c2002.
Call Number: TP301/N719
Book
Save to List
Saved in:
2
高阶逻辑辅助证明系统

Cover is for reference only
Main Authors: 尼普科夫 Nipkow, Tobias ((德)托比亚斯·尼普科夫，(英)劳伦斯·鲍尔森，(德)玛尔库斯·温泽尔著); 鲍尔森 Paulson, Lawrence C; 温泽尔 Wenzel, Markus
Group Author: 陈光喜 (译); 刘卓军 (译)
Published: 北京理工大学出版社
Publication Dates: 2013
Call Number: TP391.7/7282
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —