The Calculus of Computation
Decision Procedures with Applications to Verification
Autor:
Aaron R. Bradley, Zohar Manna
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
270.68
lei
This textbook introduces computational logic from the foundations of first-order logic to state-of-t...
