Refine your search
Availability
-
Authors
- Harel, David (1)
- Kozen, Dexter (1)
- Matii︠a︡sevich, I︠U︡... (1)
- Tiuryn, Jerzy (1)
-
Collections
- E-Books EBSCO (2)
-
Home libraries
-
Item types
- Electronic-Books (2)
-
Series
-
Topics
- Computable functions (1)
- Computer logic (1)
- Computer Science (1)
- COMPUTERS (1)
- Dixième problème de ... (1)
- Engineering & Applie... (1)
- Fonctions calculable... (1)
- Formal methods (Comp... (1)
- Hilbert's tenth prob... (1)
- Hilberts tiende prob... (1)
- Logique informatique (1)
- MATHEMATICS (1)
- Méthodes formelles (... (1)
- Show more
- Show less