Vista normal
Vista MARC
- Clarke, Edmund M.
Clarke, Edmund M. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)303076: Clarke, Edmund M. editor., Logic for Programming, Artificial Intelligence, and Reasoning :