Solving Higher-Order Equations 
Subtitle: From Logic to Programming (Progress in Theoretical Computer Science)
Edition: 1 edition
Publisher: Birkhäuser Boston
Published: December 18, 1997
Language: eng
Format: Hardcover
Number of pages: 204
ISBN-13: 9780817640323
Subjects: Differential equations; Mathematical modelling; Mathematical theory of computation; Theory Of Computing; Declarative programming; Computers; Computers - Languages / Programming; Programming - General; Computer Books: Languages; Logic, Symbolic and mathematical; General; Computers / Computer Science; Computers / Programming / General; Logic; Mathematics : General; Program Analysis; Theorem Proving; Computer Logic; Computer Science; Logic, Symbolic and mathematic; Computer Bks - Languages / Programming
First sentence: This monograph develops techniques for equational reasoning in higher-order logic.