Arama Sonuçları récursion. - Daraltılmış: Elektronik KütüphaneSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dr$0025C3$0025A9cursion.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Elektronik$002bK$0025C3$0025BCt$0025C3$0025BCphane$0026ps$003d300$0026isd$003dtrue?dt=list2025-03-27T02:59:25ZRecursion and Human Languageent://SD_ILS/0/SD_ILS:5326682025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Gibson, Edward, contributor. Harder, Peter, contributor. Hauser, Marc D., contributor. Hulst, Harry van der, contributor. Hulst, Harry van der, editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110219258">https://doi.org/10.1515/9783110219258</a>
<a href="https://www.degruyter.com/isbn/9783110219258">https://www.degruyter.com/isbn/9783110219258</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110219258/original">https://www.degruyter.com/document/cover/isbn/9783110219258/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Morpheme-internal Recursion in Phonologyent://SD_ILS/0/SD_ILS:5343532025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Backley, Phillip, contributor. Cavirani, Edoardo, contributor. Dikken, Marcel den, contributor. Hulst, Harry van der, contributor. Kula, Nancy C., contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9781501512582">https://doi.org/10.1515/9781501512582</a>
<a href="https://www.degruyter.com/isbn/9781501512582">https://www.degruyter.com/isbn/9781501512582</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9781501512582/original">https://www.degruyter.com/document/cover/isbn/9781501512582/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recursion Theory and Computational Complexityent://SD_ILS/0/SD_ILS:1915682025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Lolli, G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11072-6">http://dx.doi.org/10.1007/978-3-642-11072-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of generalized recursion theoryent://SD_ILS/0/SD_ILS:2570852025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Fitting, Melvin, 1942-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444861719">http://www.sciencedirect.com/science/book/9780444861719</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computability theory an introduction to recursion theoryent://SD_ILS/0/SD_ILS:1488022025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Enderton, Herbert B.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123849588">http://www.sciencedirect.com/science/book/9780123849588</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Generalized recursion theory II proceedings of the 1977 Oslo Symposiument://SD_ILS/0/SD_ILS:2573632025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo) Fenstad, Jens Erik. Gandy, R. O. (Robin O.) Sacks, Gerald E.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851635">http://www.sciencedirect.com/science/book/9780444851635</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Generalized recursion theory Proceedings of the 1972 Oslo symposiument://SD_ILS/0/SD_ILS:2572382025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo) Fenstad, Jens Erik. Hinman, Peter G.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444105455">http://www.sciencedirect.com/science/book/9780444105455</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Interfaces + Recursion = Language? : Chomsky's Minimalism and the View from Syntax-Semanticsent://SD_ILS/0/SD_ILS:5328232025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Alexiadou, Artemis, contributor. Anagnostopoulou, Elena, contributor. Beck, Sigrid, contributor. Chomsky, Noam, contributor. Giirtner, Bans-Martin, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110207552">https://doi.org/10.1515/9783110207552</a>
<a href="https://www.degruyter.com/isbn/9783110207552">https://www.degruyter.com/isbn/9783110207552</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110207552/original">https://www.degruyter.com/document/cover/isbn/9783110207552/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Classical recursion theory the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:2565972025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Odifreddi, Piergiorgio, 1950-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502056">http://www.sciencedirect.com/science/book/9780444502056</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Classical recursion theory the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:2571712025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Odifreddi, Piergiorgio, 1950-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444894830">http://www.sciencedirect.com/science/book/9780444894830</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965ent://SD_ILS/0/SD_ILS:2572862025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534101">http://www.sciencedirect.com/science/book/9780444534101</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?ent://SD_ILS/0/SD_ILS:5202612025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Hausser, Roland. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-22739-4">https://doi.org/10.1007/978-3-031-22739-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Java A Concise Introduction to Programmingent://SD_ILS/0/SD_ILS:5205602025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-22842-1">https://doi.org/10.1007/978-3-031-22842-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Foundations of Software Engineering A Practical Guide to Essentialsent://SD_ILS/0/SD_ILS:5205742025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-26212-8">https://doi.org/10.1007/978-3-031-26212-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Beginners Guide to Python 3 Programmingent://SD_ILS/0/SD_ILS:5206022025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Hunt, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-35122-8">https://doi.org/10.1007/978-3-031-35122-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics for Computer Scientists A Practice-Oriented Approachent://SD_ILS/0/SD_ILS:5203442025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Hartmann, Peter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-40423-9">https://doi.org/10.1007/978-3-658-40423-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germanyent://SD_ILS/0/SD_ILS:5290122025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Schlingloff, Bernd-Holger. editor. Vogel, Thomas. editor. Skowron, Andrzej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-26651-5">https://doi.org/10.1007/978-3-031-26651-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5210902025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Kutrib, Martin. editor. (orcid) Meyer, Uwe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-38100-3">https://doi.org/10.1007/978-3-031-38100-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data Analytics and Computational Intelligence: Novel Models, Algorithms and Applicationsent://SD_ILS/0/SD_ILS:5282592025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Rivera, Gilberto. editor. (orcid)0000-0002-2365-4651 Cruz-Reyes, Laura. editor. Dorronsoro, Bernabé. editor. Rosete, Alejandro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-38325-0">https://doi.org/10.1007/978-3-031-38325-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Representing Phonological Detail. Part I, Segmental Structure and Representationsent://SD_ILS/0/SD_ILS:5343702025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Audring, Jenny, contributor. Benkő, Agnes, contributor. Botma, Bert, contributor. Bree, Cor van, contributor. Brink, Eline van den, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110730098">https://doi.org/10.1515/9783110730098</a>
<a href="https://www.degruyter.com/isbn/9783110730098">https://www.degruyter.com/isbn/9783110730098</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110730098/original">https://www.degruyter.com/document/cover/isbn/9783110730098/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Language Production, Cognition, and the Lexiconent://SD_ILS/0/SD_ILS:5185302025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08043-7">https://doi.org/10.1007/978-3-319-08043-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191612025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5192372025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Vitek, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46669-8">https://doi.org/10.1007/978-3-662-46669-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191172025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17142-5">https://doi.org/10.1007/978-3-319-17142-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191352025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23820-3">https://doi.org/10.1007/978-3-319-23820-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Syntactic Complexity across Interfacesent://SD_ILS/0/SD_ILS:5322282025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Bauke, Leah S., contributor. Bayer, Josef, contributor. Bayer, Josef, editor. Becker, Misha, contributor. Frey, Werner, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9781614517900">https://doi.org/10.1515/9781614517900</a>
<a href="https://www.degruyter.com/isbn/9781614517900">https://www.degruyter.com/isbn/9781614517900</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9781614517900/original">https://www.degruyter.com/document/cover/isbn/9781614517900/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:5191542025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15075-8">https://doi.org/10.1007/978-3-319-15075-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Representing Structure in Phonology and Syntaxent://SD_ILS/0/SD_ILS:5319652025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Bayer, Josef, contributor. Corver, Norbert, contributor. Emonds, Joseph, contributor. Grewendorf, Günther, contributor. Koster, Jan, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9781501502224">https://doi.org/10.1515/9781501502224</a>
<a href="https://www.degruyter.com/isbn/9781501502224">https://www.degruyter.com/isbn/9781501502224</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9781501502224/original">https://www.degruyter.com/document/cover/isbn/9781501502224/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data Structures and Algorithms with Pythonent://SD_ILS/0/SD_ILS:5185372025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-13072-9">https://doi.org/10.1007/978-3-319-13072-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5190902025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46681-0">https://doi.org/10.1007/978-3-662-46681-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Body - Language - Communication : An International Handbook on Multimodality in Human Interaction. Volume 2ent://SD_ILS/0/SD_ILS:5331672025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Alibali, Martha W., contributor. Andrén, Mats, contributor. Ashley, Richard, contributor. Bakels, Jan-Hendrik, contributor. Bergen, Benjamin K., contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110302028">https://doi.org/10.1515/9783110302028</a>
<a href="https://www.degruyter.com/isbn/9783110302028">https://www.degruyter.com/isbn/9783110302028</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110302028/original">https://www.degruyter.com/document/cover/isbn/9783110302028/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Phonological Explorations : Empirical, Theoretical and Diachronic Issuesent://SD_ILS/0/SD_ILS:5315362025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Apoussidou, Diana, contributor. Archangeli, Diana, contributor. Boersma, Paul, contributor. Booij, Geert, contributor. Botma, Bert, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110295177">https://doi.org/10.1515/9783110295177</a>
<a href="https://www.degruyter.com/isbn/9783110295177">https://www.degruyter.com/isbn/9783110295177</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110295177/original">https://www.degruyter.com/document/cover/isbn/9783110295177/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The recursive mind : the origins of human language, thought, and civilizationent://SD_ILS/0/SD_ILS:3753942025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Corballis, Michael C.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.ctt7sw8d">http://www.jstor.org/stable/10.2307/j.ctt7sw8d</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The primacy of grammarent://SD_ILS/0/SD_ILS:2395722025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Mukherji, Nirmalangshu. Project Muse.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780262280310/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical objects in C++ computational tools in a unified object-oriented approachent://SD_ILS/0/SD_ILS:2860542025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Shapira, Yair, 1960-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439811481">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Phonological Domains : Universals and Deviationsent://SD_ILS/0/SD_ILS:5327232025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Arias, Javier, contributor. Bickel, Balthasar, contributor. Cardinaletti, Anna, contributor. Dobashi, Yoshihito, contributor. Grijzenhout, Janet, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110217100">https://doi.org/10.1515/9783110217100</a>
<a href="https://www.degruyter.com/isbn/9783110217100">https://www.degruyter.com/isbn/9783110217100</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110217100/original">https://www.degruyter.com/document/cover/isbn/9783110217100/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of recursive mathematicsent://SD_ILS/0/SD_ILS:2565912025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Ershov, I͡Uriĭ Leonidovich.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444500038">http://www.sciencedirect.com/science/book/9780444500038</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of recursive mathematicsent://SD_ILS/0/SD_ILS:2565942025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Ershov, I͡Uriĭ Leonidovich.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444501066">http://www.sciencedirect.com/science/book/9780444501066</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The formal semantics of programming languages an introductionent://SD_ILS/0/SD_ILS:2201702025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Winskel, G. (Glynn)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An introduction to programming with specifications a mathematical approachent://SD_ILS/0/SD_ILS:2577562025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Kubiak, Ryszard. Rudziński, Roman. Sokołowski, S. (Stefan)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124276208">http://www.sciencedirect.com/science/book/9780124276208</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:2551052025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558601468">http://www.sciencedirect.com/science/book/9781558601468</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.ent://SD_ILS/0/SD_ILS:2569512025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Kleene Symposium (1978 : Madison, Wis.) Kleene, Stephen Cole, 1909-1994. Barwise, Jon. Keisler, H. Jerome. Kunen, Kenneth.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444853455">http://www.sciencedirect.com/science/book/9780444853455</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recursive analysisent://SD_ILS/0/SD_ILS:2573522025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Goodstein, R. L. (Reuben Louis)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533944">http://www.sciencedirect.com/science/book/9780444533944</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.ent://SD_ILS/0/SD_ILS:2572042025-03-27T02:59:25Z2025-03-27T02:59:25ZYazar Goodstein, R. L. (Reuben Louis)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533852">http://www.sciencedirect.com/science/book/9780444533852</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>