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