Normal view
MARC view
- Fernández Díez, Gustavo
Fernández Díez, Gustavo (NOMBRE PERSONAL)
Machine generated authority record.
Work cat.: (ES-SlBCS)357175: Fernández Díez, Gustavo, The strong completeness of the tableau method