Nieva Soto, Susana
VIAF ID: 86830159 (Personal)
Permalink: http://viaf.org/viaf/86830159
Preferred Forms
- 100 1 0 ‡a Nieva Soto, Susana
Works
Title | Sources |
---|---|
Una lógica computacional con polimorfismo y recursión y un sistema de deducción automática basado en ella |