标题：    amp；amp；阿提特：通过自动分析器生成将TPTP语言扩展到高阶逻辑   amp；amp；最近：范杰尔德   amp；amp；日期：2006   amp；amp；数字对象标识：10.1007/11814771_15   amp；amp；体裁：书目   amp；amp；身份证件：5528284   amp；amp；isbn：{“类型”：“pbk”，“数字”：“978-3-540-37187-8”}   amp；amp；碎片：156   sid：FIZ-Karlsruhe:zbMATH公司

× Entschuldigung公司：Wir konnten Sie leider nicht automatisch einer书目/Einrichtung zuordnen。
Bitte verwenden Sie das nachstehende Suchformular order die Karte，um Ihre Heimateinrichtung auszuwählen。