Cargando…

Set theory for computing: from decision procedures to declarative programming with sets

Detalles Bibliográficos
Autores principales: Gries, David, Schneider, Fred B, Cantone, Domenico, Schwartz, Jacob T
Lenguaje:eng
Publicado: Springer 2001
Materias:
Acceso en línea:http://cds.cern.ch/record/2695656