Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
Main Author: | Schmid, Ute |
---|---|
Corporate Author: | SpringerLink (Online service) |
Other Authors: | Kitzelmann, Emanuel, Plasmeijer, Rinus |
Format: | Electronic Kit Book |
Language: | English |
Published: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2010
|
Series: | Lecture Notes in Computer Science
5812 |
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/978-3-642-11931-6 |
Similar Items
-
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
by: Siegler, Simon
Published: (2010) -
Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
by: Dix, JΓΌrgen
Published: (2010) -
Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings
by: Dix, JΓΌrgen
Published: (2010) -
Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
by: Aldini, Alessandro
Published: (2010) -
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings
by: MΓΌller-Clostermann, Bruno
Published: (2010)