1
Publicado 2005
Tabla de Contenidos: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Enlace del recurso
Electrónico eBook
2
Publicado 2015
Tabla de Contenidos: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Enlace del recurso
Electrónico eBook