Title: Solving higher-order equations
First published: December 18, 1997
Subjects: Computer logic, Declarative programming, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA76.9.L63 P74 1997