Search Results for PROLOG. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dPROLOG.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-11-15T16:31:40Z Logic with prolog ent://SD_ILS/0/SD_ILS:32327 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Gibbins, Peter.<br/>Preferred Shelf Number&#160;QA 76.73.P76 G53 1988<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Using turbo prolog ent://SD_ILS/0/SD_ILS:32329 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Rich, Kelly.&#160;Robinson, P. R., ort. yaz.<br/>Preferred Shelf Number&#160;QA 76.73.P76 R373 1988<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Programming in prolog ent://SD_ILS/0/SD_ILS:123264 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Clocksin, William F., 1955-&#160;Mellish, Christopher S., 1954-<br/>Preferred Shelf Number&#160;QA76.73.P76 C56 1996<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The Practice of Prolog ent://SD_ILS/0/SD_ILS:219891 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Sterling, Leon.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming with Prolog ent://SD_ILS/0/SD_ILS:331207 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Bramer, Max. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331207.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming with Prolog ent://SD_ILS/0/SD_ILS:175316 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Bramer, Max. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Prolog : to expert systems ent://SD_ILS/0/SD_ILS:72726 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Leigh, William E.&#160;Smith, A. N., ort. yaz.<br/>Format:&#160;Books<br/>Availability&#160;~0<br/> Micro-Prolog : logische programmierung ent://SD_ILS/0/SD_ILS:32303 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Clark, Keith L.&#160;McCabe, G., ort. yaz.<br/>Preferred Shelf Number&#160;QA 76.73.M5 C55 1987<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Canterbury hikayeleri : genel prolog ent://SD_ILS/0/SD_ILS:37599 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Chaucer, Geoffrey, 1328-1400.&#160;Erol, Bur&ccedil;in, &ccedil;ev.<br/>Preferred Shelf Number&#160;PR 1870.A1 C6 H<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Prolog: The Next 50 Years ent://SD_ILS/0/SD_ILS:521397 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Warren, David S. editor.&#160;Dahl, Veronica. editor.&#160;Eiter, Thomas. editor.&#160;Hermenegildo, Manuel V. editor.&#160;Kowalski, Robert. editor.<br/>Preferred Shelf Number&#160;XX(521397.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing with logic : logic programming with prolog ent://SD_ILS/0/SD_ILS:32328 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Maier, David, 1953-&#160;Warren, D. S., ort. yaz.<br/>Preferred Shelf Number&#160;QA 76.73.P76 M349 1988<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Language Processing with Perl and Prolog Theories, Implementation, and Application ent://SD_ILS/0/SD_ILS:487276 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Nugues, Pierre M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~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 German ent://SD_ILS/0/SD_ILS:184017 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Nugues, Pierre M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Der Bajazzo : drama in zwei akten und einem prolog ent://SD_ILS/0/SD_ILS:118915 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Leoncavallo, Ruggiero, 1858-1919.&#160;Hartmann, Ludwig.<br/>Preferred Shelf Number&#160;ML50.L582 B35<br/>Electronic Access&#160;<a href="https://katalog.hacettepe.edu.tr/Notalar/0205000012000584.pdf">Elektronik eri?im için t?klay?n?z</a><br/>Format:&#160;Books<br/>Availability&#160;Conservatory Library~2<br/> Concepts, design, and performance analysis of a parallel prolog machine ent://SD_ILS/0/SD_ILS:23555 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Beer, Joachim, 1955-<br/>Preferred Shelf Number&#160;QA 76.73.P76 B44 1989<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Prolog by exanple : how to learn, teach and use it with 68 figures ent://SD_ILS/0/SD_ILS:32326 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Coelho, Helder.&#160;Cotta, J. C., ort. yaz.<br/>Preferred Shelf Number&#160;QA 76.73.P76 C64 1988<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Der Bajazzo (Pagliacci) : Drama in zwei Akten und einem Prolog ent://SD_ILS/0/SD_ILS:306924 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Leoncavallo, Ruggiero.<br/>Preferred Shelf Number&#160;M1503.L582 P215 1892<br/>Format:&#160;Music<br/>Availability&#160;Conservatory Library~3<br/> Slavnostni predehry ent://SD_ILS/0/SD_ILS:129568 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Symfonicky orchestr Cs. rozhlasu.&#160;Fischer, Eduard, 1930-&#160;Pauer, Ji&eacute;r&acirc;i, 1919-2007. Canto festivo.&#160;Hork&acirc;y, Karel, 1909-1988. Slavnostn&acirc;i p&eacute;redehra.&#160;Jir&acirc;asek, Ivo, 1920-2004. Slavnostn&acirc;i p&eacute;redehra.<br/>Preferred Shelf Number&#160;M1001.S96 .S5386 1972<br/>Format:&#160;Audio disc<br/>Availability&#160;Conservatory Library~1<br/> Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:518775 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Proietti, Maurizio. editor.&#160;Seki, Hirohisa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518775.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic programming languages constraints, functions, and objects ent://SD_ILS/0/SD_ILS:220224 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Apt, Krzysztof R., 1949-&#160;Bakker, J. W. de (Jacobus Willem), 1939-&#160;Rutten, J. J. M. M.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic programming proceedings of the Tenth International Conference on Logic Programming ent://SD_ILS/0/SD_ILS:220283 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;International Conference on Logic Programming (10th : 1993 : Budapest, Hungary)&#160;Warren, David S.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Warren's abstract machine a tutorial reconstruction ent://SD_ILS/0/SD_ILS:220144 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;A&iuml;t-Kaci, Hassan, 1954-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic program debugging ent://SD_ILS/0/SD_ILS:220194 2024-11-15T16:31:40Z 2024-11-15T16:31:40Z Author&#160;Shapiro, Ehud Y.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>