Arama Sonuçları logique. - Daraltılmış: 1991
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dlogique.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091991$0025091991$0026ps$003d300$0026isd$003dtrue?dt=list
2024-11-23T02:10:03Z
Warren's abstract machine a tutorial reconstruction
ent://SD_ILS/0/SD_ILS:220144
2024-11-23T02:10:03Z
2024-11-23T02:10:03Z
Yazar Aït-Kaci, Hassan, 1954-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy
ent://SD_ILS/0/SD_ILS:257886
2024-11-23T02:10:03Z
2024-11-23T02:10:03Z
Yazar McCarthy, John, 1927-2011. Lifschitz, Vladimir.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124500105">http://www.sciencedirect.com/science/book/9780124500105</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>