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

Starting Out with Programming Logic and Design (2nd Edition)
  • Year: 2009
  • Edition: 2nd
  • Publisher: Addison-Wesley
  • Type: Paperback
  • ISBN13: 9780136077732
  • ISBN: 0136077730
MyEducationLab Student Access Code Card
  • Year: 2008
  • Edition: 1st
  • Publisher: Allyn & Bacon
  • Type: Misc. Supplies
  • ISBN13: 9780135140871
  • ISBN: 0135140870
Mental Retardation: An Introduction to Intellectual...
  • Year: 2005
  • Edition: 7th
  • Publisher: Pearson
  • Type: Paperback
  • ISBN13: 9780131181892
  • ISBN: 0131181890