An edition of Solving higher-order equations (1997)

Solving higher-order equations

from logic to programming

By Christian Prehofer

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1998

Publisher

Birkhauser

Language

eng

Pages

195

Description:

subjects: Computer logic, Declarative programming, Logic, Symbolic and mathematical, Symbolic and mathematical Logic