Search Results for programmation en logique. - Narrowed by: 1991
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dprogrammation$002ben$002blogique.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091991$0025091991$0026ic$003dtrue$0026ps$003d300?
2024-10-28T10:43:06Z
Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy
ent://SD_ILS/0/SD_ILS:257886
2024-10-28T10:43:06Z
2024-10-28T10:43:06Z
Author McCarthy, John, 1927-2011. Lifschitz, Vladimir.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124500105">http://www.sciencedirect.com/science/book/9780124500105</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Warren's abstract machine a tutorial reconstruction
ent://SD_ILS/0/SD_ILS:220144
2024-10-28T10:43:06Z
2024-10-28T10:43:06Z
Author Aït-Kaci, Hassan, 1954-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>