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

Early Childhood Special Education: Birth to Eight
  • Year: 2007
  • Edition: 4th
  • Publisher: Cengage Learning
  • Type: Paperback
  • ISBN13: 9781418048105
  • ISBN: 1418048100
Strategies for Teaching Students with Learning and...
  • Year: 2011
  • Edition: 8th
  • Publisher: Pearson
  • Type: Paperback
  • ISBN13: 9780137034673
  • ISBN: 0137034679
Starting Out with Programming Logic and Design (2nd Edition)
  • Year: 2009
  • Edition: 2nd
  • Publisher: Addison-Wesley
  • Type: Paperback
  • ISBN13: 9780136077732
  • ISBN: 0136077730