Archives
Romanian Journal of Information Technology and Automatic Control / Vol. 8, No. 3, 1998
Solving Higher-Order Equations: From Logic to Programming
Florin STĂNCIULESCU
Review of Solving Higher-Order Equations: From Logic to Programming, by Christian Prehofer (Birkhäuser, Boston, 1998, 186 p.)
Keywords:
CITE THIS PAPER AS:
Florin STĂNCIULESCU,
"Solving Higher-Order Equations: From Logic to Programming",
Romanian Journal of Information Technology and Automatic Control,
ISSN 1220-1758,
vol. 8(3),
pp. 77,
1998.