Search Results for Theorie - Narrowed by: récursion.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTheorie$0026qf$003dSUBJECT$002509Subject$002509r$0025C3$0025A9cursion.$002509r$0025C3$0025A9cursion.$0026ic$003dtrue$0026ps$003d300?2024-11-06T09:01:49ZThe formal semantics of programming languages an introductionent://SD_ILS/0/SD_ILS:2201702024-11-06T09:01:49Z2024-11-06T09:01:49ZAuthor Winskel, G. (Glynn)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: 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-11-06T09:01:49Z2024-11-06T09:01:49ZAuthor 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/>