标题：    amp；amp；阿提特：Horn子句作为程序分析和转换的中间表示   amp；amp；最近：恒河   amp；amp；日期：2015   amp；amp；数字对象标识：2017年10月17日/1471068415000204   amp；amp；体裁：文章   amp；amp；身份证件：6804558   amp；amp；发行编号：1471-0684   amp；amp；问题：4-5   amp；amp；碎片：526   amp；amp；搅拌棒：理论与实践。日志。程序。   amp；amp；标题：逻辑程序设计理论与实践   amp；amp；体积：15   sid：FIZ卡尔斯鲁厄：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。