Search Results for récursion.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dr$0025C3$0025A9cursion.$0026ic$003dtrue$0026ps$003d300?2026-03-11T13:06:15ZQuick recursionent://SD_ILS/0/SD_ILS:5831262026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Matuszek, David L., author.<br/>Preferred Shelf Number QA76.6<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003359616">https://www.taylorfrancis.com/books/9781003359616</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recursion Theory and Computational Complexityent://SD_ILS/0/SD_ILS:1915682026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Lolli, G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of generalized recursion theoryent://SD_ILS/0/SD_ILS:2570852026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Fitting, Melvin, 1942-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444861719">http://www.sciencedirect.com/science/book/9780444861719</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computability theory an introduction to recursion theoryent://SD_ILS/0/SD_ILS:1488022026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Enderton, Herbert B.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123849588">http://www.sciencedirect.com/science/book/9780123849588</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Generalized recursion theory II proceedings of the 1977 Oslo Symposiument://SD_ILS/0/SD_ILS:2573632026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo) Fenstad, Jens Erik. Gandy, R. O. (Robin O.) Sacks, Gerald E.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851635">http://www.sciencedirect.com/science/book/9780444851635</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Generalized recursion theory Proceedings of the 1972 Oslo symposiument://SD_ILS/0/SD_ILS:2572382026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo) Fenstad, Jens Erik. Hinman, Peter G.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444105455">http://www.sciencedirect.com/science/book/9780444105455</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Classical recursion theory the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:2565972026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Odifreddi, Piergiorgio, 1950-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502056">http://www.sciencedirect.com/science/book/9780444502056</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rekörsiyon ile sembolik integral = Symbolic integration with recursionent://SD_ILS/0/SD_ILS:253812026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Laeli, Mahbobeh.<br/>Preferred Shelf Number TEZ 2315 .L34 1993<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Classical recursion theory the theory of functions and sets of natural numbersent://SD_ILS/0/SD_ILS:2571712026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Odifreddi, Piergiorgio, 1950-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444894830">http://www.sciencedirect.com/science/book/9780444894830</a><br/>Format: Electronic Resources<br/>Availability Online Library~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:2572862026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534101">http://www.sciencedirect.com/science/book/9780444534101</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical logic : A course with exercisesent://SD_ILS/0/SD_ILS:766782026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5210902026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Kutrib, Martin. editor. (orcid) Meyer, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5290122026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Schlingloff, Bernd-Holger. editor. Vogel, Thomas. editor. Skowron, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics for Computer Scientists A Practice-Oriented Approachent://SD_ILS/0/SD_ILS:5203442026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Hartmann, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Data Analytics and Computational Intelligence: Novel Models, Algorithms and Applicationsent://SD_ILS/0/SD_ILS:5282592026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Rivera, Gilberto. editor. (orcid)0000-0002-2365-4651 Cruz-Reyes, Laura. editor. Dorronsoro, Bernabé. editor. Rosete, Alejandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?ent://SD_ILS/0/SD_ILS:5202612026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Hausser, Roland. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Java A Concise Introduction to Programmingent://SD_ILS/0/SD_ILS:5205602026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Foundations of Software Engineering A Practical Guide to Essentialsent://SD_ILS/0/SD_ILS:5205742026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>A Beginners Guide to Python 3 Programmingent://SD_ILS/0/SD_ILS:5206022026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Optimal and robust state estimation : finite impulse response (FIR) and Kalman approachesent://SD_ILS/0/SD_ILS:5976542026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Shmaliy, Yuriy, author. Zhao, Shunyi, author.<br/>Preferred Shelf Number QA402.3 .S53 2022<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119863106">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119863106</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Strategic engineeringent://SD_ILS/0/SD_ILS:5967202026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Arcade, Jacques, author.<br/>Preferred Shelf Number TA190<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821342">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821342</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Statistically Speaking : A Dictionary of Quotations.ent://SD_ILS/0/SD_ILS:5451722026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Gaither, C. C. Cavazos-Gaither, Alma E.<br/>Preferred Shelf Number QA273<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429187124">https://www.taylorfrancis.com/books/9780429187124</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming interviews exposed : coding your way through the interviewent://SD_ILS/0/SD_ILS:5944542026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Mongan, John, 1976- author. Kindler, Noah, author. Giguère, Eric, 1967- author.<br/>Preferred Shelf Number HF5549.5 .I6 M664 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119418504">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119418504</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application of graph rewriting to natural language processingent://SD_ILS/0/SD_ILS:5944912026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Bonfante, Guillaume, author. Guillaume, Bruno, author. Perrier, Guy, 1950- author.<br/>Preferred Shelf Number P98<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reinsurance : actuarial and statistical aspectsent://SD_ILS/0/SD_ILS:5938062026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Albrecher, Hansjörg, author. Beirlant, Jan, author. Teugels, Jef L., author.<br/>Preferred Shelf Number HG8083<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119412540">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119412540</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language Production, Cognition, and the Lexiconent://SD_ILS/0/SD_ILS:5185302026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Data Structures and Algorithms with Pythonent://SD_ILS/0/SD_ILS:5185372026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191352026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5191542026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5191612026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5190902026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5191172026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5192372026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Mathematical Induction : Theory and Applicationsent://SD_ILS/0/SD_ILS:5440492026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Gunderson, David S., author.<br/>Preferred Shelf Number QA9.54 G863 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420093650">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Essential algorithms : a practical approach to computer algorithmsent://SD_ILS/0/SD_ILS:5930612026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Stephens, Rod, 1961- author.<br/>Preferred Shelf Number QA76.9 .S74 2013<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119575955">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119575955</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The foundations of mathematicsent://SD_ILS/0/SD_ILS:2673212026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Kunen, Kenneth.<br/>Preferred Shelf Number QA9 K796 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The recursive mind : the origins of human language, thought, and civilizationent://SD_ILS/0/SD_ILS:3753942026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Corballis, Michael C.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7sw8d">http://www.jstor.org/stable/10.2307/j.ctt7sw8d</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The primacy of grammarent://SD_ILS/0/SD_ILS:2395722026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Mukherji, Nirmalangshu. Project Muse.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://muse.jhu.edu/books/9780262280310/">Full text available: </a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Navigating through discrete mathematics in prekindergarten through grade 5ent://SD_ILS/0/SD_ILS:2673422026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor DeBellis, Valerie A.<br/>Preferred Shelf Number QA135.6 N34 2009<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mathematical objects in C++ : computational tools in a unified object-oriented approachent://SD_ILS/0/SD_ILS:5456902026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Shapira, Yair, 1960, author.<br/>Preferred Shelf Number QA297 .S464 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439811481">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Handbook of recursive mathematicsent://SD_ILS/0/SD_ILS:2565912026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Ershov, I͡Uriĭ Leonidovich.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444500038">http://www.sciencedirect.com/science/book/9780444500038</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of recursive mathematicsent://SD_ILS/0/SD_ILS:2565942026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Ershov, I͡Uriĭ Leonidovich.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444501066">http://www.sciencedirect.com/science/book/9780444501066</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Elementary standard MLent://SD_ILS/0/SD_ILS:5405112026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Michaelson, Greg, 1953-<br/>Preferred Shelf Number QA76.73 .M5 M53 1995<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482286946">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>The formal semantics of programming languages an introductionent://SD_ILS/0/SD_ILS:2201702026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor 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/>An introduction to programming with specifications a mathematical approachent://SD_ILS/0/SD_ILS:2577562026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Kubiak, Ryszard. Rudziński, Roman. Sokołowski, S. (Stefan)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124276208">http://www.sciencedirect.com/science/book/9780124276208</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:2551052026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor 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/>The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.ent://SD_ILS/0/SD_ILS:2569512026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Kleene Symposium (1978 : Madison, Wis.) Kleene, Stephen Cole, 1909-1994. Barwise, Jon. Keisler, H. Jerome. Kunen, Kenneth.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444853455">http://www.sciencedirect.com/science/book/9780444853455</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recursive analysisent://SD_ILS/0/SD_ILS:2573522026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Goodstein, R. L. (Reuben Louis)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533944">http://www.sciencedirect.com/science/book/9780444533944</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.ent://SD_ILS/0/SD_ILS:2572042026-03-11T13:06:15Z2026-03-11T13:06:15ZAuthor Goodstein, R. L. (Reuben Louis)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533852">http://www.sciencedirect.com/science/book/9780444533852</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>