Normal view
MARC view
- Lógica de Primer Orden
Lógica de Primer Orden (TÉRMINO TEMÁTICO)
Machine generated authority record.
Work cat.: (ES-SlBCS)638261: Soler Toscano, Fernando 163674, Abducción en modelos finitos