Cover Image

Solving Higher-Order Equations : From Logic to Programming /

Show other versions (1)
Bibliographic Details
Main Author: Prehofer, Christian
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Boston, MA : Birkhäuser Boston : Imprint : Birkhäuser, 1998.
Series:Progress in theoretical computer science.
Subjects:
Computer logic.
Declarative programming.
Logic, Symbolic and mathematical.
Electronic books.
Online Access:Connect to the full text of this electronic book
Search Result 1
Cover Image
by Prehofer, Christian, 1967-
Published 1998
Book
Show all versions (2)