Search Results for équation récursive. - Narrowed by: English

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus.

2024-11-11T17:47:21Z

Author Goodstein, Reuben Louis.
Preferred Shelf Number QA 241 G6293 1957
Format: Books
Availability Beytepe Library~1

Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.

2024-11-11T17:47:21Z

Author Goodstein, R. L. (Reuben Louis)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533852
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-11-11T17:47:21Z

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

The formal semantics of programming languages an introduction

2024-11-11T17:47:21Z

Author Winskel, G. (Glynn)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826
Format: Electronic Resources
Availability Online Library~1