| Verfasser | Häufigkeit |
| Ariza Muñoz, Carmen |
10 |
| Muñoz Cosme, Alfonso |
9 |
| Acero, Carmelo |
3 |
| Muñoz, César A. |
3 |
| Ariza Muñoz, M. del Carmen |
2 |
| Ayala-Rincón, Mauricio |
2 |
| Cadierno, Teresa 1963- |
2 |
| Castañeda Castro, Alejandro |
2 |
| Contreras Cuevas, Antonio |
2 |
| Esparza Muñoz, Rodrigo A. |
2 |
| Fernández Muñoz, Ángel Luis 1955- |
2 |
| Ibarretxe-Antuñano, Iraide |
2 |
| International Conference on Interactive Theorem Proving Brasília |
2 |
| Martínez Muñoz, Miguel |
2 |
| Muñoz Castañeda, Ángel Luis |
2 |
| Muñoz-Basols, Javier |
2 |
| Pérez Campos, Ramiro |
2 |
| Veiga Copo, Abel B. |
2 |
| Abad Castro, María Concepción |
1 |
| Aedo, Carlos |
1 |