✦ LIBER ✦

[Lecture Notes in Computer Science] Inductive Synthesis of Functional Programs Volume 2654 || 8. Transforming Plans into Finite Programs

✍ Scribed by Schmid, Ute

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Indu

✍ Schmid, Ute 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 236 KB

[Lecture Notes in Computer Science] Indu

✍ Schmid, Ute 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 630 KB

[Lecture Notes in Computer Science] Indu

✍ Schmid, Ute 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 659 KB

[Lecture Notes in Computer Science] Indu

✍ Schmid, Ute 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 215 KB

[Lecture Notes in Computer Science] Indu

✍ Schmid, Ute 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 428 KB

[Lecture Notes in Computer Science] Indu

✍ Schmid, Ute 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 189 KB