Chapter PDF
Literaturverzeichnis
Balzer, R.M.: A global view of automatic programming. Proc. Int. J. Conf. Artif. Intell. 3, Stanford, 494–499 (1973).
Bibel, W.: An approach to a systematic theorem proving procedure in first-order logic. Computing 12, 43–55 (1974).
Bibel, W. and Schreiber, J.: Proof search in a Gentzen-like system of first-order-logic. Bericht Nr. 7412, Techn.Universität München (1974). Erscheint in Proceedings of the International Computing Symposium (ICS 75), N.Holland P.C. (1975).
Bibel, W.: Programmieren in der Sprache der Prädikatenlogik. Eingereicht als Habilitationsarbeit am Fachbereich Mathematik der Technischen Universität München (1975).
Bibel, W.: Predicative programming. Unveröffentlichte Fassung in englischer Sprache (1975).
Colmerauer, A., Kanoni, H., Roussel, P. and Pasero, R.: Un système de communication homme-machine en francais. Rapport, Université d'Aix-Marseille, Luminy (1972).
Hayes, P.J.: Computation and deduction. Proc. Math. Foundations Comp. Science Symp., Czechoslovakian Acad. Science (1973).
Hewitt, C.: PLANNER: a language for proving theorems in robots. Proc. Int. J. Conf. Artif. Intell. 1, Washington D.C., 219–239 (1969).
Kleene, S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1952).
Kowalski, R.: Predicate logic as programming language. Preprints IFIP 74, Stockholm, 569–574 (1974).
Manna, Z. and Waldinger, R.J.: Towards automatic program synthesis. Comm. ACM 14, 151–165 (1971).
Shoenfield, J.R.: Mathematical logic. Addison-Wesley, Reading (1967).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bibel, W. (1975). Prädikatives Programmieren. In: Brakhage, H. (eds) Automata Theory and Formal Languages. Lecture Notes in Computer Science, vol 33. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07407-4_30
Download citation
DOI: https://doi.org/10.1007/3-540-07407-4_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07407-6
Online ISBN: 978-3-540-37923-2
eBook Packages: Springer Book Archive