Summary goes here
Đã lưu trong:
| Định dạng: | Sách |
|---|---|
| Ngôn ngữ: | Tiếng Anh |
| Những chủ đề: | |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 055d8cfb-e192-4d8b-83a5-003738b45f6b |
| isbn | 9783031167676 |
| issn | |
| language | eng |
| physical | XIII, 155 p. 31 illus., 16 illus. in color.online resource. |
| publication | – publisher: Springer International Publishing dateOfPublication: 2022 |
| publishDate | 2022 |
| subjects | |
| title | Logic-Based Program Synthesis and Transformation 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings / edited by Alicia Villanueva. [electronic resource] : |
| topic | Computer science. Computer Science Logic and Foundations of Programming. |