Publications in ai-romatre-pubs.bib - Year: 1992
1992
[1]
Abstract specification of structures and methods in symbolic mathematical computation
(
Limongelli, Carla
and
Temperini, Marco
),
In
Theoretical Computer Science
, volume 104,
1992
.
[bibtex]
[url]
[doi]
Powered by
bibtexbrowser