Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification
Full text!- Type:
- e-book
- Titel:
- Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification
- Taal:
- Engels
- Uitgever:
- Cham Springer International Publishing AG 2022
- ISBN:
- 3-030-87881-3
3-030-87882-1 - Permalink:
- http://bibtest.howest.be/catalog/ebk03:19991161800041
