Search Results for Recursive functions.

Formal systems and recursive functions : proceeding

2024-09-23T16:28:30Z

Author Logic Colloquium (8th : 1963 : Oxford).
Preferred Shelf Number BC 135 L8292 1965
Format: Books
Availability Beytepe Library~1

Formal systems and recursive functions

2024-09-23T16:28:30Z

Author Crossley, John N. Dummett, Michael, 1925-2011.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534057
Format: Electronic Resources
Availability Online Library~1

The foundations of intuitionistic mathematics : especially in relation to recursive functions

2024-09-23T16:28:30Z

Author Kleene, Stephen Cole, 1909- Vesley, Richard Eugene, ort. yaz.
Preferred Shelf Number QA 248.5 K652 1965
Format: Books
Availability Beytepe Library~1

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV

2024-09-23T16:28:30Z

Author Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number XX(520404.1)
Electronic Access https://doi.org/10.1007/978-981-99-1639-9
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

2024-09-23T16:28:30Z

Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520843.1)
Electronic Access https://doi.org/10.1007/978-3-031-30823-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part II

2024-09-23T16:28:30Z

Author Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521237.1)
Electronic Access https://doi.org/10.1007/978-3-031-45389-2
Format: Electronic Resources
Availability Online Library~1

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings

2024-09-23T16:28:30Z

Author Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519060.1)
Electronic Access https://doi.org/10.1007/978-3-319-20028-6
Format: Electronic Resources
Availability Online Library~1

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers

2024-09-23T16:28:30Z

Author Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sempere, José M. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519065.1)
Electronic Access https://doi.org/10.1007/978-3-319-28475-0
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-09-23T16:28:30Z

Author Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519090.1)
Electronic Access https://doi.org/10.1007/978-3-662-46681-0
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

2024-09-23T16:28:30Z

Author Dediu, Adrian-Horia. editor. Formenti, Enrico. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519014.1)
Electronic Access https://doi.org/10.1007/978-3-319-15579-1
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

2024-09-23T16:28:30Z

Author Machado, Penousal. editor. Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number XX(519344.1)
Electronic Access https://doi.org/10.1007/978-3-319-16501-1
Format: Electronic Resources
Availability Online Library~1

Recursive identification and parameter estimation

2024-09-23T16:28:30Z

Author Chen, Hanfu, author. Zhao, Wenxiao, author.
Preferred Shelf Number ONLINE(357129.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Continuous time dynamical systems state estimation and optimal control with orthogonal functions

2024-09-23T16:28:30Z

Author Mohan, B. M. (Bosukonda Murali) Kar, S. K.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Combinatory logic pure, applied and typed

2024-09-23T16:28:30Z

Author Bimb,̤ Katalin, 1963-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Stochastic processes estimation, optimization, & analysis

2024-09-23T16:28:30Z

Author Najim, K. Ikonen, Enso, 1965- Daoud, Ait-Kadi.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781903996553
Format: Electronic Resources
Availability Online Library~1

Pyramid algorithms a dynamic programming approach to curves and surfaces for geometric modeling

2024-09-23T16:28:30Z

Author Goldman, Ron, 1947-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781558603547
Format: Electronic Resources
Availability Online Library~1

Recursive macroeconomic theory

2024-09-23T16:28:30Z

Author Ljungqvist, Lars. Sargent, Thomas J., ort. yaz.
Preferred Shelf Number HB 172.5 L59 2000
Format: Books
Availability Beytepe Library~1

Recursive functionals

2024-09-23T16:28:30Z

Author Sanchis, Luis E.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444894472
Format: Electronic Resources
Availability Online Library~1

Elementary induction on abstract structures

2024-09-23T16:28:30Z

Author Moschovakis, Yiannis N.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444105370
Format: Electronic Resources
Availability Online Library~1

Degrees of unsolvability

2024-09-23T16:28:30Z

Author Shoenfield, Joseph Robert.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720420616
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969

2024-09-23T16:28:30Z

Author Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720422610
Format: Electronic Resources
Availability Online Library~1