|
31 |
An Inductive Approach for Modal Transition System Refinement
Alrajeh, Dalal. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
|
|
|
|
32 |
Inductive Logic Programming
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
|
33 |
Approaches and Applications of Inductive Programming
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
|
|
|
|
34 |
Inducing Domain Theories
Liakata, Maria. - Saarbrücken : VDM Verlag Dr. Müller, 2010
|
|
|
|
35 |
Inductive Logic Programming
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
|
|
|
|
36 |
Inductive Logic Programming as Abductive Search
Corapi, Domenico. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
|
|
|
|
37 |
Inductive Temporal Logic Programming
Kolter, Robert. - Saarbrücken : Suedwestdeutscher Verlag fuer Hochschulschriften, 2010, neue Ausg.
|
|
|
|
38 |
Schema-guided inductive functional programming through automatic detection of type morphisms
Hofmann, Martin, 2010, [Online-Ausg.]
|
|
|
|
39 |
Inductive temporal logic programming
Kolter, Robert, 2009, [Online-Ausg.]
|
|
|
|
40 |
Proceedings of the ACM SIGPLAN Workshop on Approaches and Applications of Inductive Programming (AAIP 2009)
Bamberg : Otto-Friedrich-Universität Bamberg, 2009
|
|
Administration
