@收款{zbMATH01614693，作者={安德鲁斯、彼得·B·和毕晓普、马修和布朗、查德·E·}，Title={系统描述：{TPS}:{A}类型理论定理证明系统}，BookTitle={自动扣除-CADE-17。第17届国际会议，匹兹堡，宾夕法尼亚州，美国，2000年6月17日至20日。诉讼}，国际标准图书编号={3-540-67664-3}，页码={164--169}，年份＝{2000}，出版商={柏林：施普林格}，语言={英语}，关键词={68T15}，zbMATH={1614693}，Zbl={0963.68530}}