Logic-Based Program Synthesis and Transformation: 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings (Lecture Notes in Computer Science, 16117)

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Bezeichner
Abmessungen / Gewicht
Hauptmerkmale