Summary goes here
Saved in:
| Format: | Bog |
|---|---|
| Sprog: | engelsk |
| Fag: | |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | d2b2c2c5-3d9f-499b-bc55-c698c11d78d1 |
| isbn | 9783031388286 |
| issn | |
| language | eng |
| physical | XXII, 187 p. 65 illus., 17 illus. in color.online resource. |
| publication | – publisher: Springer Nature Switzerland dateOfPublication: 2023 |
| publishDate | 2023 |
| subjects | |
| title | Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings / edited by Virgile Prevosto, Cristina Seceleanu. [electronic resource] : |
| topic | Reasoning. Computer science. Informal Logic. Models of Computation. |