Prehofer, C. (1998). Solving higher-order equations: From logic to programming. Birkhauser.
Chicago Style (17th ed.) CitationPrehofer, Christian. Solving Higher-order Equations: From Logic to Programming. Boston: Birkhauser, 1998.
MLA (8th ed.) CitationPrehofer, Christian. Solving Higher-order Equations: From Logic to Programming. Birkhauser, 1998.
Warning: These citations may not always be 100% accurate.