![](/img/cover-not-exists.png)
[ACM Press the international symposium - Tokyo, Japan (1990.08.20-1990.08.24)] Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '90 - PRECOMAS an implementation of constructive matching methodology
Franová, M.Year:
1990
Language:
english
DOI:
10.1145/96877.96885
File:
PDF, 916 KB
english, 1990