Publisher
Springer Berlin Heidelberg
Reference53 articles.
1. Angluin, D., Smith, C. H.: Inductive inference: theory and methods. Computing surveys 15, 237–269 (1984).
2. Bibel, W.: A uniform approach to programming. Report 7633, FB Mathematik, TUM (1976).
3. Bibel, W.: Automated theorem proving. Vieweg, Braunschweig (1982).
4. Bibel, W.: Deduktionsverfahren. Proceedings der Frühjahrsschule Künstliche Intelligenz 1982 (W. Bibel et al., eds.), Fachberichte Informatik 59, Springer, Berlin 99–140 (1982a).
5. Bibel, W.: Matings in matrices. C.ACM 26, 844–852 (1983).