
Logic in Computer Science
Michael Huth, Mark Ryan
₹6,059

From Logic to Programming
Birkhauser Boston Inc · 1997 · Hardcover
Free delivery. Nothing extra to pay at checkout.
Solving Higher-Order Equations: From Logic to Programming is written by Christian Prehofer. This hardcover edition from Birkhauser Boston Inc (1997) has 188 pages. The book is part of the Progress in theoretical cpmputer science series.
Topics covered include Computer logic, Declarative programming, Symbolic and mathematical Logic and Differential equations.
About the author: Christian Prehofer (born 1967).