Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

by Domenico Cantone
  • List Price: $179.00
  • ISBN-10: 0387951970
  • ISBN-13: 9780387951973
  • Edition: 2001st
  • Type: Hardcover
  • Publisher: Springer

About The Book

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and... Read more

FINDING THE BEST PRICES

Related Books

MyEducationLab Student Access Code Card
  • Year: 2008
  • Edition: 1st
  • Publisher: Allyn & Bacon
  • Type: Misc. Supplies
  • ISBN13: 9780135140871
  • ISBN: 0135140870
Publication Manual of the American Psychological...
  • Year: 2009
  • Edition: 6th
  • Publisher: American Psychological Association (APA)
  • Type: Paperback
  • ISBN13: 9781433805615
  • ISBN: 1433805618
Microsoft Visual Basic 2010: RELOADED
  • Year: 2010
  • Edition: 4th
  • Publisher: Cengage Learning
  • Type: Paperback
  • ISBN13: 9781111221799
  • ISBN: 1111221790