Author:
Eisinger Norbert,Geisler Tim,Panne Sven
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. H. Abelson, G. J. Sussman, and J. Sussman. Structure and Interpretation of Computer Programs. MIT Press, 1985.
2. F. Bry, R. Manthey, and H. Schütz. Deduktive Datenbanken. KI-Künstliche Intelligenz-Forschung, Entwicklung, Erfahrungen, 3:17–23, 1996. In German.
3. F. Bry and A. Yahya. Minimal model generation with positive unit hyper-resolution tableaux. In Proceedings of the 5th Workshop on Theorem Proving with Tableaux and Related Methods, number 1071 in Lecture Notes in Artificial Intelligence, pages 143–159. Springer-Verlag, 1996.
4. S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Springer-Verlag, 1990.
5. C. Clack and C. Myers. The dys-functional student. In Proceedings of the First International Symposium on Functional Languages in Education, FPLE '95, number 1022 in Lecture Notes in Computer Science, pages 289–309. Springer-Verlag, 1995.