Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 30 | << page >> |
Sort by
|
Book
ISBN: 0521299675 Year: 1980 Publisher: Cambridge ; New York, NY : Cambridge University Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Fonctions calculables. --- Fonctions récursives. --- Logique mathématique.
ISBN: 0521553806 Year: 1997 Publisher: Cambridge Cambridge University Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Machine theory. --- Computable functions. --- Automates --- Fonctions calculables --- Automates. --- Fonctions calculables.
Book
ISBN: 0201142147 9780201142143 Year: 1988 Publisher: Wokingham: Addison-Wesley,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Algorithms --- Computable functions --- Computational complexity --- Algorithmes --- Fonctions calculables --- Complexité de calcul (Informatique) --- Computational Complexity
Book
ISBN: 9781470441623 Year: 2020 Publisher: Providence, RI : American Mathematical Society,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Dissertation
Year: 1995 Publisher: [S.l.]: [chez l'auteur],
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Algorithmes --- Algorithms. --- Informatique --- Computer science. --- Fonctions calculables. --- Computable functions --- Décidabilité (logique mathématique) --- Complexite
Book
Year: 1971 Publisher: Sweden : Studdentlitteratur,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Informatique --- Computer science. --- Computable functions --- Fonctions calculables. --- Langages formels --- Formal languages. --- Algorithmique
Book
Year: 2001 Publisher: Bruxelles : Société mathématique de Belgique (SMB) = Belgisch wiskundig genootschap = Belgian mathematical society,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computable functions. --- Model theory. --- Logic, Symbolic and mathematical. --- Fonctions calculables. --- Théorie des modèles. --- Logique mathématique. --- Théorie des modèles --- Logique mathématique
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Formal languages. --- Langages formels --- Computable functions --- Fonctions calculables. --- Informatique --- Computer science. --- Turing machines. --- Turing, Machines de --- Automates abstraits --- Algorithmique --- Automates finis --- Complexite
ISBN: 2100048538 9782100048533 Year: 2001 Publisher: Paris: Dunod,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Fonctions récursives --- Fonctions calculables --- Informatique --- Computable functions --- Automata --- Recursive functions --- Turing machines --- Electronic data processing --- Fonctions récursives --- Decidability (Mathematical logic) --- Recursive functions. --- Turing machines. --- Formal languages --- Computable functions. --- Décidabilité (logique mathématique) --- Langages formels --- Automates mathématiques, Théorie des --- Turing, machines de --- Langages formels. --- Fonctions récursives. --- Automates mathématiques, Théorie des. --- Fonctions calculables. --- Turing, Machines de.
Book
ISBN: 9782100499816 2100499815 Year: 2006 Publisher: Paris: Dunod,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Electronic data processing --- Recursive functions --- Computable functions --- Informatique --- Fonctions récursives --- Fonctions calculables --- Fonctions récursives --- Fonctions calculables. --- Decidability (Mathematical logic) --- Recursive functions. --- Turing machines. --- Formal languages --- Computable functions. --- Décidabilité (logique mathématique) --- Langages formels. --- Fonctions récursives. --- Automates mathématiques, Théorie des. --- Turing, Machines de. --- Computer science --- Décidabilité (logique mathématique) --- Fonctions récursives. --- Automates mathématiques, Théorie des.
| Listing 1 - 10 of 30 | << page >> |
Sort by
|