|
|
You can sort by any column. Just click on column's title. To sort in descending order - click once more.
| Views | Cover | Author | Title | Published | Format | Updated | Thank_to |
1996792 | 68 | ![](./upload/blacksquere.jpg) | Emanuele De Angelis | Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7 8, 2021, Proceedings (Lecture Notes in Computer Science, 13290) | 2021 | pdf | 4/11/2022 6:28:36 AM | topron |
1894419 | 65 | ![](./upload/blacksquere.jpg) | Maribel FernГЎndez | Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 79, 2020, Proceedings | 2021-04-07 | pdf | 2/15/2021 6:07:16 AM | maveriks |
1739622 | 42 | ![](./upload/Misc/Logic-Based_Program_Synthesis__4_22_2020_12_01_43_PM.jpg) | Maurizio Gabbrielli | Logic-Based Program Synthesis and Transformation: 29th International Symposium, Lopstr 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers | 2020-06-27 | pdf | 4/22/2020 12:01:43 PM | maveriks |
1521996 | 50 | ![](./upload/Computer Science/Logic-Based_Program_Synthesis__4_14_2019_10_42_40_PM.jpg) | Fred Mesnard | Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, Se [German] | 2019 | EPUB, PDF | 4/14/2019 10:42:49 PM | topron |
1464813 | 67 | ![](./upload/Computer Science/Logic-Based_Program_Synthesis__1_5_2019_3_44_15_PM.jpg) | Moreno Falaschi | Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015 | 2013 | PDF | 1/5/2019 3:44:15 PM | Gustavi |
1248178 | 70 | ![](./upload/Misc/Logic-Based_Program_Synthesis__1_25_2018_7_20_40_PM.jpg) | Manuel V Hermenegildo, Pedro Lopez-Garcia | Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 68, 2016, Revised Selected Papers (Lecture Notes in Computer Science) | 2017-08-29 | PDF | 1/25/2018 7:20:40 PM | stirkout |
|
|
|