Arama Sonuçları Logic programming. - Daraltılmış: 2009
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$0025092009$0025092009$0026ps$003d300$0026isd$003dtrue?dt=list
2025-12-07T19:25:33Z
Logic and Integer Programming
ent://SD_ILS/0/SD_ILS:168006
2025-12-07T19:25:33Z
2025-12-07T19:25:33Z
Yazar Williams, H. Paul. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-92280-5">http://dx.doi.org/10.1007/978-0-387-92280-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applications of Declarative Programming and Knowledge Management 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189769
2025-12-07T19:25:33Z
2025-12-07T19:25:33Z
Yazar Seipel, Dietmar. editor. Hanus, Michael. editor. Wolf, Armin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00675-3">http://dx.doi.org/10.1007/978-3-642-00675-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190440
2025-12-07T19:25:33Z
2025-12-07T19:25:33Z
Yazar Hill, Patricia M. editor. Warren, David S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02846-5">http://dx.doi.org/10.1007/978-3-642-02846-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190568
2025-12-07T19:25:33Z
2025-12-07T19:25:33Z
Yazar Oddi, Angelo. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03251-6">http://dx.doi.org/10.1007/978-3-642-03251-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190883
2025-12-07T19:25:33Z
2025-12-07T19:25:33Z
Yazar Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04238-6">http://dx.doi.org/10.1007/978-3-642-04238-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Conceptual structures in practice
ent://SD_ILS/0/SD_ILS:542016
2025-12-07T19:25:33Z
2025-12-07T19:25:33Z
Yazar Hitzler, Pascal. Scharfe, Henrik.<br/>Yer Numarası Q387.2 .C68 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420060638">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to mathematics of satisfiability
ent://SD_ILS/0/SD_ILS:544045
2025-12-07T19:25:33Z
2025-12-07T19:25:33Z
Yazar Marek, V. W. (V. Wiktor), 1943, author.<br/>Yer Numarası QA9.3 .M37 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439801741">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>