Número de Cutter-SanbornC232sEntrada «Canto» → 232 · marca de obra “s”

Set Theory for Computing

Name: Set Theory for Computing
ISBN: 9781475734522

From Decision Procedures to Declarative Programming with Sets

Autor	Domenico Cantone, J. T. Schwartz, Eugenio Omodeo, Alberto Policriti
Editorial	Springer
Fecha de publicación	2013
Idioma	inglés
ISBN-13	9781475734522
Número de Cutter	`C232s`

Set Theory for Computing (2013) — ISBN 9781475734522 | Cutter Number