In print
Ebook
Audiobook
Library
We may earn a commission. Learn more.
Set Theory for Computing From Decision Procedures to Declarative Programming with Sets
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.
No reviews yet.
Be the first to write one.
No highlights yet.
Be the first to share one.