Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Dominique
Duval
Dominique Duval-rekin lankidetzan egindako argitalpenak (2)
2006
-
Towards Diagrammatic Specifications of Symbolic Computation Systems
Dagstuhl Seminar Proceedings
2005
-
Towards Diagrammatic Specifications of Symbolic Computation Systems.
Dagstuhl Seminar Proceedings