Fundamentals of logic and computation [electronic resource] : with practical automated reasoning and verification / Zhe Hou.
Although the fields of logic and computation are intrinsically related, most courses treat the two topics separately. This unique textbook aims to compress and unify important concepts of logical reasoning and computational theory, facilitating an in-depth understanding. Delivering theory with pract...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2021.
|
| Series: | Texts in computer science.
|
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.9.L63
|
|---|---|
| QA76.9.L63 | Available |