Summary goes here
Gardado en:
| Formato: | Libro |
|---|---|
| Idioma: | inglés |
| Subjects: | |
| Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 65d92cd7-e651-4a81-8fc2-6a5446a8a866 |
| isbn | 9783031098277 |
| issn | |
| language | eng |
| physical | VIII, 127 p. 28 illus., 10 illus. in color.online resource. |
| publication | – publisher: Springer International Publishing dateOfPublication: 2022 |
| publishDate | 2022 |
| subjects | |
| title | Tests and Proofs 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings / edited by Laura Kovács, Karl Meinke. [electronic resource] : |
| topic | Logic. Computer science. Formal Logic. Models of Computation. |