Arama Sonuçları Logic programming. - Daraltılmış: 2011
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic$002bprogramming.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092011$0025092011$0026ic$003dtrue$0026ps$003d300?dt=list
2025-12-07T22:45:20Z
Mathematical aspects of logic programming semantics
ent://SD_ILS/0/SD_ILS:541704
2025-12-07T22:45:20Z
2025-12-07T22:45:20Z
Yazar Hitzler, Pascal., author. Seda, Anthony.<br/>Yer Numarası QA76.63 .H58 2011<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439829622">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Science of Operations Machines, Logic and the Invention of Programming
ent://SD_ILS/0/SD_ILS:176007
2025-12-07T22:45:20Z
2025-12-07T22:45:20Z
Yazar Priestley, Mark. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-555-0">http://dx.doi.org/10.1007/978-1-84882-555-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194060
2025-12-07T22:45:20Z
2025-12-07T22:45:20Z
Yazar Larrosa, Javier. editor. O’Sullivan, Barry. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19486-3">http://dx.doi.org/10.1007/978-3-642-19486-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194483
2025-12-07T22:45:20Z
2025-12-07T22:45:20Z
Yazar Mariño, Julio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20775-4">http://dx.doi.org/10.1007/978-3-642-20775-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:194501
2025-12-07T22:45:20Z
2025-12-07T22:45:20Z
Yazar Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20832-4">http://dx.doi.org/10.1007/978-3-642-20832-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194523
2025-12-07T22:45:20Z
2025-12-07T22:45:20Z
Yazar Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20895-9">http://dx.doi.org/10.1007/978-3-642-20895-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers
ent://SD_ILS/0/SD_ILS:194655
2025-12-07T22:45:20Z
2025-12-07T22:45:20Z
Yazar Frasconi, Paolo. editor. Lisi, Francesca A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21295-6">http://dx.doi.org/10.1007/978-3-642-21295-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
ent://SD_ILS/0/SD_ILS:195055
2025-12-07T22:45:20Z
2025-12-07T22:45:20Z
Yazar Kuchen, Herbert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22531-4">http://dx.doi.org/10.1007/978-3-642-22531-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Mathematics of Syntactic Structure : Trees and their Logics
ent://SD_ILS/0/SD_ILS:532361
2025-12-07T22:45:20Z
2025-12-07T22:45:20Z
Yazar Cornell, Thomas L., contributor. Kallmeyer, Laura, contributor. Kolb, Hans-Peter, contributor. Kolb, Hans-Peter, editor. Kracht, Marcus, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110806786">https://doi.org/10.1515/9783110806786</a>
<a href="https://www.degruyter.com/isbn/9783110806786">https://www.degruyter.com/isbn/9783110806786</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110806786/original">https://www.degruyter.com/document/cover/isbn/9783110806786/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>