Solving for functions. Beeson, M. In LMCS 2002. Logic, Mathematics and Computer Science: Interactions. Symposium in Honor of Bruno Buchberger's 60th Birthday, Linz, Austria, 2002. RISC.
Solving for functions [pdf]Pdf  bibtex   1 download  

Downloads: 1