Search Results for s&eacute;mantique. - Narrowed by: English SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003ds$0025C3$0025A9mantique.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list 2024-12-23T14:21:39Z Semantique structurale, recherche de methode. ent://SD_ILS/0/SD_ILS:127219 2024-12-23T14:21:39Z 2024-12-23T14:21:39Z Author&#160;Greimas, Algirdas Julien.<br/>Preferred Shelf Number&#160;PC 2585 G7 2007<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Semantique structurale, recherche de methode ent://SD_ILS/0/SD_ILS:20692 2024-12-23T14:21:39Z 2024-12-23T14:21:39Z Author&#160;Greimas, Algirdas Julien.<br/>Preferred Shelf Number&#160;PC 2585 G7 1966<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> WordNet an electronic lexical database ent://SD_ILS/0/SD_ILS:220243 2024-12-23T14:21:39Z 2024-12-23T14:21:39Z Author&#160;Fellbaum, Christiane.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267389">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267389</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming ent://SD_ILS/0/SD_ILS:220272 2024-12-23T14:21:39Z 2024-12-23T14:21:39Z Author&#160;Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany)&#160;Maher, Michael, 1959-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic semantics of imperative programs ent://SD_ILS/0/SD_ILS:220125 2024-12-23T14:21:39Z 2024-12-23T14:21:39Z Author&#160;Goguen, Joseph.&#160;Malcolm, Grant.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic programming proceedings of the eleventh International Conference on Logic Programming ent://SD_ILS/0/SD_ILS:220229 2024-12-23T14:21:39Z 2024-12-23T14:21:39Z Author&#160;Van Hentenryck, Pascal.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351</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-12-23T14:21:39Z 2024-12-23T14:21:39Z 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/> The formal semantics of programming languages an introduction ent://SD_ILS/0/SD_ILS:220170 2024-12-23T14:21:39Z 2024-12-23T14:21:39Z Author&#160;Winskel, G. (Glynn)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Basic category theory for computer scientists ent://SD_ILS/0/SD_ILS:220245 2024-12-23T14:21:39Z 2024-12-23T14:21:39Z Author&#160;Pierce, Benjamin C.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267469">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267469</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial intelligence the very idea ent://SD_ILS/0/SD_ILS:220277 2024-12-23T14:21:39Z 2024-12-23T14:21:39Z Author&#160;Haugeland, John, 1945-2010.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276821">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276821</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>