top

Browse
Persona
Opera
Editori
Soggetto
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
   

Espandi
Riduci








Seleziona tutte
Deseleziona


Espandi opera
Automata and computability
{ automata and computability }
...
Espandi opera
Design and analysis of algorithms
{ design and analysis of algorithms }
...
Espandi opera
Dynamic Logic
{ dynamic logic }
...

Espandi opera
Logic in Computer Science, 10th Symposium on (LICS '95)
{ logic in computer science 10th symposium on lics 95 }
...
Espandi opera
Logics of Programs
{ logics of programs }
...
Espandi opera
Mathematics of Program Construction
{ mathematics of program construction }
...

Espandi opera
Theory of computation
{ theory of computation }
...