标题:    amp;amp;阿提特:使用约束逻辑编程实现约束满足   amp;amp;奥拉斯特:范·亨特利克   amp;amp;日期:1992   amp;amp;数字对象标识:10.1016/0004-3702(92)90006-J   amp;amp;体裁:文章   amp;amp;身份证件:146354   amp;amp;发行编号:0004-3702   amp;amp;问题:1-3   amp;amp;碎片:113   amp;amp;搅拌棒:Artif公司。智力。   amp;amp;标题:人工智能   amp;amp;体积:58   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。

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