Reductivity arguments and program construction /

Na minha lista:
Detalhes bibliográficos
OCLC:55884162
Autor principal: Doornbos, Henk (Hendrik)
Corporate Authors: Technische Universiteit Eindhoven, Instituut voor Programmatuurkunde en Algorimiek
Idioma:English
Publicado em: Eindhoven : Eindhoven University of Technology, 1996, c1995.
Assuntos:
Logic programming.
Induction (Logic)
Formato:

Thesis Monograph

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

Borrow this resource

Item List

Descrição Local Call Number Estado
P-00290557 Disponível

Registos relacionados