|
by Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip
Published 2021
Table of Contents:
“.... Expression Trees -- 17. Karnaugh Maps -- 18. Relations and Quantifiers -- 19. Checking Satisfiability -- 20...”Published 2021
Springer International Publishing