Solving higher-order equations : from logic to programming /

Bibliographic Details
Main Author:	Prehofer, Christian, 1967-
Format:	Book
Language:	English
Published:	Boston : Birkhauser, [1998]
Series:	Progress in theoretical computer science.
Subjects:	Computer logic. Declarative programming. Logic, Symbolic and mathematical.

by Prehofer, Christian
Published 1998

Connect to the full text of this electronic book

eBook