Advertisement

Prädikatives Programmieren

  • Wolfgang Bibel
Freitagvormittag Hauptvortrag
Part of the Lecture Notes in Computer Science book series (LNCS, volume 33)

Literaturverzeichnis

  1. [1]
    Balzer, R.M.: A global view of automatic programming. Proc. Int. J. Conf. Artif. Intell. 3, Stanford, 494–499 (1973).Google Scholar
  2. [2]
    Bibel, W.: An approach to a systematic theorem proving procedure in first-order logic. Computing 12, 43–55 (1974).Google Scholar
  3. [3]
    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).Google Scholar
  4. [4]
    Bibel, W.: Programmieren in der Sprache der Prädikatenlogik. Eingereicht als Habilitationsarbeit am Fachbereich Mathematik der Technischen Universität München (1975).Google Scholar
  5. [5]
    Bibel, W.: Predicative programming. Unveröffentlichte Fassung in englischer Sprache (1975).Google Scholar
  6. [6]
    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).Google Scholar
  7. [7]
    Hayes, P.J.: Computation and deduction. Proc. Math. Foundations Comp. Science Symp., Czechoslovakian Acad. Science (1973).Google Scholar
  8. [8]
    Hewitt, C.: PLANNER: a language for proving theorems in robots. Proc. Int. J. Conf. Artif. Intell. 1, Washington D.C., 219–239 (1969).Google Scholar
  9. [9]
    Kleene, S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1952).Google Scholar
  10. [10]
    Kowalski, R.: Predicate logic as programming language. Preprints IFIP 74, Stockholm, 569–574 (1974).Google Scholar
  11. [11]
    Manna, Z. and Waldinger, R.J.: Towards automatic program synthesis. Comm. ACM 14, 151–165 (1971).Google Scholar
  12. [12]
    Shoenfield, J.R.: Mathematical logic. Addison-Wesley, Reading (1967).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Wolfgang Bibel
    • 1
  1. 1.Technische Universität MünchenGermany

Personalised recommendations