Solving Higher-Order Equations: From Logic to Programming (1995)

by Christian Prehofer
Citations:33 - 7 self