佩德罗·夸雷斯马 面向智能和动态几何书籍。 （英语） Zbl 1425.97002号 数学。计算。科学。 11，编号3-4，427-437（2017）.MSC公司：97单位50 68T05型 68吨15 68立方英尺 97G10型 PDF格式BibTeX公司 XML格式引用 \textit{P.Quaresma}，数学。计算。科学。11，编号3--4，427--437（2017；Zbl 1425.97002） 全文： DOI程序
萨那斯托亚诺维奇;朱利安·纳布克斯;马克·贝泽姆;贾尼契奇，普雷德拉格 连贯逻辑的一种方言。 （英语） Zbl 1304.68163号 Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。人工智能课堂讲稿，388-403（2014）。MSC公司：68吨15 03B20型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Stojanović}等人，Lect。注释计算。科学。8543，388--403（2014；Zbl 1304.68163） 全文： DOI程序 arXiv公司