Agustin Valverde Ramos
Original record- Institution
- Universidad de Málaga
- Year
- 1998
- Country
- Spain
- MGP identifier
- 85019
Dissertation: Delta-Trees of Implicants and Implicates and Reductions of Signed Logics in ATPs
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Inmaculada Pérez de GuzmánUniversidad de Granada · 1978
- Manuel Ojeda-AciegoUniversidad de Málaga · 1996
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Jesús Medina Moreno | Universidad de Málaga | 2002 | 1 |