Huth, Michael
Logic in Computer Science : modeling and reasoning about systems
- Cambridge: Cambridge University Press, 2004
- xiv, 427 p.; ill.: 25 cm.
052154310X pbk
Computer logic
Logic programming
Logic
Deduction
Binary Decision Diagrams
005.1015113 / HUT