@书籍{zbMATH01682685，编辑={Anderson、Michael和Meyer、Bernd和Olivier、Patrick}，标题＝{图解表示和推理}，国际标准图书编号={1-85233-242-5}，年份={2002}，出版商={伦敦：施普林格}，语言={英语}，关键词={00B15,68-06}，zbMATH={1682685}，Zbl={0978.00021}}