Das gesuchte Dokument公司

标题：    amp；amp；阿提特：Curry的默认规则   amp；amp；奥拉斯特：安托伊   amp；amp；日期：2017   amp；amp；doi（操作界面）：10.1017/S147106841600168   amp；amp；体裁：文章   amp；amp；身份证件：6804627   amp；amp；发行编号：1471-0684   amp；amp；问题：2   amp；amp；碎片：121   amp；amp；搅拌棒：理论实践。日志。程序。   amp；amp；标题：逻辑程序设计理论与实践   amp；amp；体积：17   sid：FIZ卡尔斯鲁厄：zbMATH

Ihre机构/书目馆

× Entschuldigung公司：我们知道这不是一个自动的图书馆。
Bitte verwenden Sie das nachstehende Suchformular order die Karte，um Ihre Heimateinrichtung auszuwählen。

奥斯瓦伦Heimationstitution auswählenaus 460注册研究所

Ihre研究所/图书馆发现：
奥德