top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
   

Espandi
Riduci








Borger, Egon
ID: 51951

Opere

Seleziona tutte
Deseleziona


Berechenbarkeit, Komplexitat, Logik
Espandi opera
...
Classical decision problem
Espandi opera
...
Computability, complexity, logic
Espandi opera
...

Computabilità complessità logica
Espandi opera
...
Computation and proof theory
Espandi opera
...
Logic and machines
Espandi opera
...

Modeling Companion for Software Practitioners
Espandi opera
...
Rigorous methods for software construction and analysis
Espandi opera
...
Structures of Computing
Espandi opera
...