Logic in Computer Science
Modelling and Reasoning about Systems
by Mark Ryan

No description available.
Logic programmingComputer logicComputers & the internetComputer scienceQa76.9.l63 h88 1999Logic programming (Computer science)
Modelling and Reasoning about Systems
by Mark Ryan

No description available.