in_proceedings
Detail
Publication date: 1 de June, 2021Proceedings of the Eleventh International Workshop on Logic-based Program Synthesis and Transformation LOPSTR’01
| Publisher | Springer |
|---|---|
| Series | LNCS |
| Volume | 2372 |
| Pub. Date | 01/01/2002 |
| Publisher | Springer |
|---|---|
| Series | LNCS |
| Volume | 2372 |
| Pub. Date | 01/01/2002 |