Logic-Based Program Synthesis and Transformation: 3rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Originalsprog | Engelsk |
---|
Forlag | Springer |
---|---|
Antal sider | 211 |
DOI | |
Status | Udgivet - 2023 |
Begivenhed | LOPSTR 2023 - Lisbon, Portugal Varighed: 23 okt. 2023 → 24 okt. 2023 https://lopstr.github.io/2023/ |
Navn | Lecture Notes in Computer Science |
---|---|
Vol/bind | 14330 |
ISSN | 0302-9743 |
Konference
Konference | LOPSTR 2023 |
---|---|
Land/Område | Portugal |
By | Lisbon |
Periode | 23/10/2023 → 24/10/2023 |
Internetadresse |
ID: 375981187