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

Bibliographic Information

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

Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwartz

(Monographs in computer science)

Springer Verlag, c2001

Available at  / 18 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Related Books: 1-1 of 1

Details

  • NCID
    BA53174047
  • ISBN
    • 0387951970
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    New York
  • Pages/Volumes
    xviii, 409 p.
  • Size
    24 cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top