Applied logic for computer scientists : computational deduction and formal proofs / Mauricio Ayala-Rincón, Flávio L. C. de Moura.
This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2017.
|
| Series: | Undergraduate topics in computer science.
|
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.9.L63
|
|---|---|
| QA76.9.L63 | Available |