Antonio
Blanco Ferro
Publicacións nas que colabora con Antonio Blanco Ferro (2)
2012
-
On the confluence of the graphic calculus with penrose diagrams (I)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1997
-
An automatic calculator with Penrose diagrams
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)