Summary goes here
সংরক্ষণ করুন:
| বিন্যাস: | গ্রন্থ |
|---|---|
| ভাষা: | ইংরেজি |
| বিষয়গুলি: | |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
| 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. |