{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T11:13:15Z","timestamp":1776942795052,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540074076","type":"print"},{"value":"9783540379232","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07407-4_30","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:57:26Z","timestamp":1330185446000},"page":"274-283","source":"Crossref","is-referenced-by-count":3,"title":["Pr\u00e4dikatives Programmieren"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Bibel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"30_CR1","first-page":"494","volume":"3","author":"R. M. Balzer","year":"1973","unstructured":"Balzer, R.M.: A global view of automatic programming. Proc. Int. J. Conf. Artif. Intell. 3, Stanford, 494\u2013499 (1973).","journal-title":"Proc. Int. J. Conf. Artif. Intell."},{"key":"30_CR2","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/BF02239498","volume":"12","author":"W. Bibel","year":"1974","unstructured":"Bibel, W.: An approach to a systematic theorem proving procedure in first-order logic. Computing 12, 43\u201355 (1974).","journal-title":"Computing"},{"key":"30_CR3","unstructured":"Bibel, W. and Schreiber, J.: Proof search in a Gentzen-like system of first-order-logic. Bericht Nr. 7412, Techn.Universit\u00e4t M\u00fcnchen (1974). Erscheint in Proceedings of the International Computing Symposium (ICS 75), N.Holland P.C. (1975)."},{"key":"30_CR4","unstructured":"Bibel, W.: Programmieren in der Sprache der Pr\u00e4dikatenlogik. Eingereicht als Habilitationsarbeit am Fachbereich Mathematik der Technischen Universit\u00e4t M\u00fcnchen (1975)."},{"key":"30_CR5","unstructured":"Bibel, W.: Predicative programming. Unver\u00f6ffentlichte Fassung in englischer Sprache (1975)."},{"key":"30_CR6","volume-title":"Un syst\u00e8me de communication homme-machine en francais","author":"A. Colmerauer","year":"1972","unstructured":"Colmerauer, A., Kanoni, H., Roussel, P. and Pasero, R.: Un syst\u00e8me de communication homme-machine en francais. Rapport, Universit\u00e9 d'Aix-Marseille, Luminy (1972)."},{"key":"30_CR7","unstructured":"Hayes, P.J.: Computation and deduction. Proc. Math. Foundations Comp. Science Symp., Czechoslovakian Acad. Science (1973)."},{"key":"30_CR8","first-page":"219","volume":"1","author":"C. Hewitt","year":"1969","unstructured":"Hewitt, C.: PLANNER: a language for proving theorems in robots. Proc. Int. J. Conf. Artif. Intell. 1, Washington D.C., 219\u2013239 (1969).","journal-title":"Proc. Int. J. Conf. Artif. Intell."},{"key":"30_CR9","volume-title":"Introduction to Metamathematics","author":"S. C. Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)."},{"key":"30_CR10","unstructured":"Kowalski, R.: Predicate logic as programming language. Preprints IFIP 74, Stockholm, 569\u2013574 (1974)."},{"key":"30_CR11","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/362566.362568","volume":"14","author":"Z. Manna","year":"1971","unstructured":"Manna, Z. and Waldinger, R.J.: Towards automatic program synthesis. Comm. ACM 14, 151\u2013165 (1971).","journal-title":"Comm. ACM"},{"key":"30_CR12","volume-title":"Mathematical logic","author":"J. R. Shoenfield","year":"1967","unstructured":"Shoenfield, J.R.: Mathematical logic. Addison-Wesley, Reading (1967)."}],"container-title":["Lecture Notes in Computer Science","Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern, May 20\u201323, 1975"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07407-4_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:46:25Z","timestamp":1619556385000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07407-4_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540074076","9783540379232"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-07407-4_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1975]]}}}