Logic-Based Program Synthesis and Transformation: 32nd International Symposium,
69,04 €
Logic-Based Program Synthesis and Transformation. Testing for Robotic Systems. - Building a Join-Optimizer for Souffl´e.- From Infinity to Choreographies: Extraction for Unbounded Systems. - Logic Programming Typed SLD Resolution: Dynamic Typing for Logic Programming.
Jetzt bei Ebay:
