Reductivity arguments and program construction /

Saved in:
Bibliographic Details
OCLC:55884162
Main Author: Doornbos, Henk (Hendrik)
Corporate Authors: Technische Universiteit Eindhoven, Instituut voor Programmatuurkunde en Algorimiek
Language:English
Published: Eindhoven : Eindhoven University of Technology, 1996, c1995.
Subjects:
Logic programming.
Induction (Logic)
Format:

Thesis Monograph

Note that CRL will digitize material from the collection when copyright allows.

Borrow this resource

Item List

Description Local Call Number Status
P-00290557 Available

Similar Items