4
Turing's revolution. The impact of his ideas about computability

Turing's revolution. The impact of his ideas about computability

Sommaruga, Giovanni, Strahm, Thomas Adrian, Turing, Alan Mathison (eds.)
Rok:
2016
Język:
english
Plik:
PDF, 2.55 MB
5.0 / 5.0
english, 2016
6
Axiomatic Thinking II

Axiomatic Thinking II

Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
Rok:
2022
Język:
english
Plik:
PDF, 4.00 MB
0 / 0
english, 2022
7
Axiomatic Thinking I

Axiomatic Thinking I

Fernando Ferreira (editor), Reinhard Kahle (editor), Giovanni Sommaruga (editor)
Rok:
2022
Język:
english
Plik:
PDF, 1.93 MB
0 / 4.5
english, 2022
8
Turing's Revolution: The Impact of His Ideas about Computability

Turing's Revolution: The Impact of His Ideas about Computability

Giovanni Sommaruga, Thomas Strahm (eds.)
Rok:
2016
Język:
english
Plik:
PDF, 4.33 MB
5.0 / 5.0
english, 2016
9
Axiomatic Thinking I

Axiomatic Thinking I

Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
Rok:
2022
Język:
english
Plik:
PDF, 2.53 MB
5.0 / 5.0
english, 2022
10
History and Philosophy of Constructive Type Theory

History and Philosophy of Constructive Type Theory

Giovanni Sommaruga (auth.)
Rok:
2000
Język:
english
Plik:
PDF, 6.14 MB
0 / 5.0
english, 2000
13
Axiomatic Thinking II

Axiomatic Thinking II

Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
Rok:
2022
Język:
english
Plik:
PDF, 4.00 MB
0 / 5.0
english, 2022
14
History and Philosophy of Constructive Type Theory

History and Philosophy of Constructive Type Theory

Giovanni Sommaruga
Rok:
2010
Język:
english
Plik:
DJVU, 2.78 MB
0 / 0
english, 2010