Arama Sonuçları PROLOG.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dPROLOG.$0026pe$003dd$00253A$0026ps$003d300?dt=list2024-12-26T18:11:00ZLogic with prologent://SD_ILS/0/SD_ILS:323272024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Gibbins, Peter.<br/>Yer Numarası QA 76.73.P76 G53 1988<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Using turbo prologent://SD_ILS/0/SD_ILS:323292024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Rich, Kelly. Robinson, P. R., ort. yaz.<br/>Yer Numarası QA 76.73.P76 R373 1988<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Programming in prologent://SD_ILS/0/SD_ILS:1232642024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Clocksin, William F., 1955- Mellish, Christopher S., 1954-<br/>Yer Numarası QA76.73.P76 C56 1996<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The Practice of Prologent://SD_ILS/0/SD_ILS:2198912024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Sterling, Leon.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Programming with Prologent://SD_ILS/0/SD_ILS:3312072024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Bramer, Max. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331207.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-5487-7">http://dx.doi.org/10.1007/978-1-4471-5487-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Programming with Prologent://SD_ILS/0/SD_ILS:1753162024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Bramer, Max. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-212-8">http://dx.doi.org/10.1007/1-84628-212-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Micro-Prolog : logische programmierungent://SD_ILS/0/SD_ILS:323032024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Clark, Keith L. McCabe, G., ort. yaz.<br/>Yer Numarası QA 76.73.M5 C55 1987<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Prolog : to expert systemsent://SD_ILS/0/SD_ILS:727262024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Leigh, William E. Smith, A. N., ort. yaz.<br/>Format: Kitap<br/>Durum ~0<br/>Canterbury hikayeleri : genel prologent://SD_ILS/0/SD_ILS:375992024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Chaucer, Geoffrey, 1328-1400. Erol, Burçin, çev.<br/>Yer Numarası PR 1870.A1 C6 H<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Prolog: The Next 50 Yearsent://SD_ILS/0/SD_ILS:5213972024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.<br/>Yer Numarası XX(521397.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-35254-6">https://doi.org/10.1007/978-3-031-35254-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computing with logic : logic programming with prologent://SD_ILS/0/SD_ILS:323282024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Maier, David, 1953- Warren, D. S., ort. yaz.<br/>Yer Numarası QA 76.73.P76 M349 1988<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Language Processing with Perl and Prolog Theories, Implementation, and Applicationent://SD_ILS/0/SD_ILS:4872762024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Nugues, Pierre M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-41464-0">https://doi.org/10.1007/978-3-642-41464-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An Introduction to Language Processing with Perl and Prolog An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and Germanent://SD_ILS/0/SD_ILS:1840172024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Nugues, Pierre M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-34336-9">http://dx.doi.org/10.1007/3-540-34336-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Der Bajazzo : drama in zwei akten und einem prologent://SD_ILS/0/SD_ILS:1189152024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Leoncavallo, Ruggiero, 1858-1919. Hartmann, Ludwig.<br/>Yer Numarası ML50.L582 B35<br/>Elektronik Erişim <a href="https://katalog.hacettepe.edu.tr/Notalar/0205000012000584.pdf">Elektronik eri?im için t?klay?n?z</a><br/>Format: Kitap<br/>Durum Konservatuvar Kütüphanesi~2<br/>Concepts, design, and performance analysis of a parallel prolog machineent://SD_ILS/0/SD_ILS:235552024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Beer, Joachim, 1955-<br/>Yer Numarası QA 76.73.P76 B44 1989<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Prolog by exanple : how to learn, teach and use it with 68 figuresent://SD_ILS/0/SD_ILS:323262024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Coelho, Helder. Cotta, J. C., ort. yaz.<br/>Yer Numarası QA 76.73.P76 C64 1988<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Der Bajazzo (Pagliacci) : Drama in zwei Akten und einem Prologent://SD_ILS/0/SD_ILS:3069242024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Leoncavallo, Ruggiero.<br/>Yer Numarası M1503.L582 P215 1892<br/>Format: Müzik<br/>Durum Konservatuvar Kütüphanesi~3<br/>Slavnostni predehryent://SD_ILS/0/SD_ILS:1295682024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Symfonicky orchestr Cs. rozhlasu. Fischer, Eduard, 1930- Pauer, Jiérâi, 1919-2007. Canto festivo. Horkây, Karel, 1909-1988. Slavnostnâi péredehra. Jirâasek, Ivo, 1920-2004. Slavnostnâi péredehra.<br/>Yer Numarası M1001.S96 .S5386 1972<br/>Format: Ses Diski<br/>Durum Konservatuvar Kütüphanesi~1<br/>Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:5187752024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518775.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17822-6">https://doi.org/10.1007/978-3-319-17822-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic programming languages constraints, functions, and objectsent://SD_ILS/0/SD_ILS:2202242024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic programming proceedings of the Tenth International Conference on Logic Programmingent://SD_ILS/0/SD_ILS:2202832024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Warren's abstract machine a tutorial reconstructionent://SD_ILS/0/SD_ILS:2201442024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar 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/>Algorithmic program debuggingent://SD_ILS/0/SD_ILS:2201942024-12-26T18:11:00Z2024-12-26T18:11:00ZYazar Shapiro, Ehud Y.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>