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

Introduction to Special Education: Making A Difference...
  • Year: 2009
  • Edition: 7th
  • Publisher: Pearson
  • Type: Paperback
  • ISBN13: 9780205600564
  • ISBN: 0205600565
Assessing Young Children in Inclusive Settings: The...
  • Year: 2010
  • Edition: 1st
  • Publisher: Brookes Publishing
  • Type: Paperback
  • ISBN13: 9781598570571
  • ISBN: 1598570579
Teaching Gifted Kids in the Regular Classroom: Strategies...
  • Year: 2001
  • Edition: (Revised, Updated, E
  • Publisher: Free Spirit Publishing
  • Type: Paperback
  • ISBN13: 9781575423296
  • ISBN: 1575423294