top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
Espandi
Riduci
Questo autore in
Wikipedia
Wikipedia
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Kozen, Dexter <1951- >
ID:
65955
Opere
Altre forme del nome
Kozen, Dexter <1951- >
Kozen, Dexter C., 1951-...
Dexter Kozen Amerikaans informaticus
Kozen, Dexter (Dexter C.), 1951-
Kozen, Dexter C.
Kozen, Dexter, 1951-
Dexter Kozen
Kozen, Dexter C.
Seleziona tutte
Deseleziona
Automata and computability
...
Dynamic logic
...
Theory of computation
...