LEADER 01585nam  22004213  450 
001 9911047704403321
005 20250916080333.0
010   $a3-032-04848-6
035   $a(MiAaPQ)EBC32294519
035   $a(Au-PeEL)EBL32294519
035   $a(CKB)40943239600041
035   $a(OCoLC)1545003831
035   $a(EXLCZ)9940943239600041
100   $a20250916d2025      uy         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLogic-Based Program Synthesis and Transformation $e35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings
205   $a1st ed.
210  1$aCham :$cSpringer,$d2025.
210  4$dİ2026.
215   $a1 online resource (386 pages)
225 1 $aLecture Notes in Computer Science Series ;$vv.16117
311 08$a3-032-04847-8 
330   $aThis volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9-10, 2025.The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from  21 submissions.
410  0$aLecture Notes in Computer Science Series
676   $a005.115
700   $aEscobar$b Santiago$01439236
701   $aTitolo$b Laura$01429403
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9911047704403321
996   $aLogic-Based Program Synthesis and Transformation$94442727
997   $aUNINA