Search Results for logique 1er ordre.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dlogique$002b1er$002bordre.$0026te$003dILS$0026ps$003d300?2024-10-27T02:24:27ZFrom logic to logic programmingent://SD_ILS/0/SD_ILS:2201992024-10-27T02:24:27Z2024-10-27T02:24:27ZAuthor Doets, Kees.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the Third Annual Workshop on Computational Learning Theory University of Rochester, Rochester, New York, August 6-8, 1990ent://SD_ILS/0/SD_ILS:2551052024-10-27T02:24:27Z2024-10-27T02:24:27ZAuthor Workshop on Computational Learning Theory (3rd : 1990 : Rochester, N.Y.) Fulk, Mark A. Case, John, 1942- ACM Special Interest Group for Automata and Computability Theory. SIGART.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558601468">http://www.sciencedirect.com/science/book/9781558601468</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>