top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
Espandi
Riduci
Questo autore in
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Kozen, Dexter
ID:
535967
Opere
Altre forme del nome
Kozen, Dexter
Kozen, Dexter
Seleziona tutte
Deseleziona
Logics of Programs Workshop, Yorktown Heights, New York, May 1981
...
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
...