Publications by the researcher in collaboration with José María Barja Pérez (1)
1997
-
An automatic calculator with Penrose diagrams
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)