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

Cover is for reference only
Main Authors: Cantone Domenico
Group Author: Omodeo Eugenio; Policriti Alberto
Published: Springer,
Publication Dates: c2001.
Call Number: O144/C232
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —