Search Results for programmation en logique. - Narrowed by: Prolog (Computer program language) SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dprogrammation$002ben$002blogique.$0026qf$003dSUBJECT$002509Subject$002509Prolog$002b$002528Computer$002bprogram$002blanguage$002529$002509Prolog$002b$002528Computer$002bprogram$002blanguage$002529$0026te$003dILS$0026ps$003d300? 2024-09-11T22:41:01Z Warren's abstract machine a tutorial reconstruction ent://SD_ILS/0/SD_ILS:220144 2024-09-11T22:41:01Z 2024-09-11T22:41:01Z Author&#160;A&iuml;t-Kaci, Hassan, 1954-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic program debugging ent://SD_ILS/0/SD_ILS:220194 2024-09-11T22:41:01Z 2024-09-11T22:41:01Z Author&#160;Shapiro, Ehud Y.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>