Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Persona/Ente/Famiglia

Espandi

Riduci

Questo autore in

Wikipedia

Export / Download

PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)

Kozen, Dexter <1951- >
ID: 65955

Opere

Altre forme del nome

Authority file

Kozen, Dexter <1951- >

http://viaf.org/viaf/25829033/

Dexter Kozen Amerikaans informaticus

http://viaf.org/viaf/25829033/

Kozen, Dexter, 1951-

http://viaf.org/viaf/25829033/

http://viaf.org/viaf/25829033/

Kozen, Dexter C., 1951-...

http://viaf.org/viaf/25829033/

Kozen, Dexter C.

http://viaf.org/viaf/25829033/

Kozen, Dexter (Dexter C.), 1951-

Nome da opac

Nome da opac

Kozen Dexter 1951-

Nome da opac

Kozen, Dexter C.

Nome da opac

KOZEN, Dexter C.

Seleziona tutte

Deseleziona

Automata and computability

...

Design and analysis of algorithms

...

Dynamic logic

...

Logic in Computer Science, 10th Symposium on (LICS '95

...

Theory of computation

...