The Calculus of Computation
Decision Procedures with Applications to Verification
Autor:
Aaron R. Bradley, Zohar Manna
Dostępność:
Dostępna u dostawcy
Wysyłamy za 5-8 dni
213.07
zł
This textbook introduces computational logic from the foundations of first-order logic to state-of-t...
