✦ LIBER ✦

[Lecture Notes in Computer Science] Approaches and Applications of Inductive Programming Volume 5812 || Inductive Programming: A Survey of Program Synthesis Techniques

✍ Scribed by Schmid, Ute; Kitzelmann, Emanuel; Plasmeijer, Rinus

Book ID: 111682628
Publisher: Springer Berlin Heidelberg
Year: 2010
Weight: 309 KB
Category: Article
ISBN: 364211931X
DOI: 10.1007/978-3-642-11931-6_3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 71 || Investigating programs in terms of partial graphs

✍ Maurer, Hermann A. 📂 Article 📅 1979 🏛 Springer Berlin Heidelberg ⚖ 848 KB

[Lecture Notes in Computer Science] Alge

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 343 || Proving inductive theorems based on term rewriting systems

✍ Grabowski, J.; Lescanne, P.; Wechler, W. 📂 Article 📅 1988 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 550 KB

This Volume Contains The Proceedings Of The First International Workshop On Algebraic And Logic Programming Held In Gaussig (german Democratic Republic) From November 14 To 18, 1988. The Workshop Was Devoted To Algebraic Programming, In The Sense Of Programming By Algebraic Specifications And Rewrit

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1099 || On the power of randomized branching programs

✍ Meyer, Friedhelm; Monien, Burkhard 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 498 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computational Intelligence Theory and Applications Volume 1226 || Genetic programming in optimization of Algorithms

✍ Reusch, Bernd 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 146 KB

[Lecture Notes in Computer Science] Know

[Lecture Notes in Computer Science] Knowledge Discovery in Databases: PKDD 2003 Volume 2838 || Application of Inductive Logic Programming to Structure-Based Drug Design

✍ Lavrač, Nada; Gamberger, Dragan; Todorovski, Ljupčo; Blockeel, Hendrik 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 274 KB

The proceedings of ECML/PKDD2003 are published in two volumes: the P- ceedings of the 14th European Conference on Machine Learning (LNAI 2837) and the Proceedings of the 7th European Conference on Principles and Practice of Knowledge Discovery in Databases (LNAI 2838). The two conferences were held

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 1837 || A Metalanguage for Programming with Bound Names Modulo Renaming

✍ Backhouse, Roland; Oliveira, José Nuno 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 334 KB

This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- p