Reductivity arguments and program construction /

Sparad:
Bibliografiska uppgifter
OCLC:55884162
Huvudupphovsman: Doornbos, Henk (Hendrik)
Institutionella upphovsmän: Technische Universiteit Eindhoven, Instituut voor Programmatuurkunde en Algorimiek
Språk:English
Publicerad: Eindhoven : Eindhoven University of Technology, 1996, c1995.
Ämnen:
Logic programming.
Induction (Logic)
Materialtyp:

Lärdomsprov Monograph

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

Borrow this resource

Item List

Beskrivning Local Call Number Status
P-00290557 Tillgänglig

Liknande verk