Logic and Program Semantics [Recurso electrónico] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / edited by Robert L. Constable, Alexandra Silva.
By: Constable, Robert L
Contributor(s): Silva, Alexandra
Material type:
No physical items for this record
Restringido a usuarios de la UCA
Modo de acceso: World Wide Web
There are no comments for this item.