@书籍{zbMATH05241016，作者={Wos，Larry and Pieper，Gail W.}，Title={计算机世界中一个迷人的国家。{你的}自动推理指南。{带}{光盘}-{ROM}｝中，ISBN＝{981-02-3910-6；978-981-281-795-2}，年份＝{1999}，出版商={哈肯萨克，新泽西：世界科学}，语言={英语}，DOI＝{10.1142/4132}，关键词={68-01,68T01,68T20}，zbMATH={5241016}，Zbl={1132.68300}}