Arama Sonu&ccedil;lar&#305; logique. - Daralt&#305;lm&#305;&#351;: n&eacute;gation. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dlogique.$0026qf$003dSUBJECT$002509Konu$002509n$0025C3$0025A9gation.$002509n$0025C3$0025A9gation.$0026ps$003d300$0026isd$003dtrue?dt=list 2024-11-29T21:27:58Z Logic programming proceedings of the eleventh International Conference on Logic Programming ent://SD_ILS/0/SD_ILS:220229 2024-11-29T21:27:58Z 2024-11-29T21:27:58Z Yazar&#160;Van Hentenryck, Pascal.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> From logic to logic programming ent://SD_ILS/0/SD_ILS:220199 2024-11-29T21:27:58Z 2024-11-29T21:27:58Z Yazar&#160;Doets, Kees.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>