{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:33:35Z","timestamp":1743150815105,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":39,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811623790"},{"type":"electronic","value":"9789811623806"}],"license":[{"start":{"date-parts":[[2021,9,17]],"date-time":"2021-09-17T00:00:00Z","timestamp":1631836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,9,17]],"date-time":"2021-09-17T00:00:00Z","timestamp":1631836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-981-16-2380-6_4","type":"book-chapter","created":{"date-parts":[[2021,9,16]],"date-time":"2021-09-16T09:02:47Z","timestamp":1631782967000},"page":"37-46","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Lambda Computatrix (LC)\u2014Towards a Computational Enhanced Understanding of Production and Management"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Heiden","sequence":"first","affiliation":[]},{"given":"Bianca","family":"Tonino-Heiden","sequence":"additional","affiliation":[]},{"given":"Volodymyr","family":"Alieksieiev","sequence":"additional","affiliation":[]},{"given":"Erich","family":"Hartlieb","sequence":"additional","affiliation":[]},{"given":"Denise","family":"Foro-Szasz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,9,17]]},"reference":[{"key":"4_CR1","unstructured":"Sheldrake R (2020) Wikipedia. Accessed 09 Feb 2020. https:\/\/en.wikipedia.org\/wiki\/RupertSheldrake"},{"key":"4_CR2","unstructured":"Sheldrake R (2009) A new science of life\/morphic resonance. https:\/\/www.sheldrake.org\/books-by-rupert-sheldrake\/a-new-science-of-life-morphic-resonance"},{"key":"4_CR3","doi-asserted-by":"publisher","unstructured":"Mehra J (2001) The golden age of theoretical physics. In: Albert Einstein\u2019s \u2019first\u2019 paper, World Scientific, pp. 1\u201318. https:\/\/doi.org\/10.1142\/97898128105880001","DOI":"10.1142\/9789812810588"},{"issue":"9","key":"4_CR4","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1002\/phbl.19710270901","volume":"27","author":"J Mehra","year":"1971","unstructured":"Mehra J, Einstein A (1971) Albert Einsteins erste wissenschaftliche Ar- beit \u2019Mein lieber Onkel\u2019 \u00fcber die Untersuchung des Atherzustandes im magnetischen Felde. Physik J 27(9):386\u2013391. https:\/\/doi.org\/10.1002\/phbl.19710270901","journal-title":"Physik J"},{"key":"4_CR5","unstructured":"Weber A Fa\u00dfmann: new university in Upper Austria is a strong sig- nal for science and research (in German). https:\/\/www.ots.at\/presseaussendung\/OTS_20200828_OTS0145\/fassmann-neue-universitaet-in-oberoesterreich-ist-starkes-signal-fuer-wissenschaft-und-forschung?asbox=box1&asboxpos=1"},{"key":"4_CR6","unstructured":"Wikipedia. Massachusetts Institute of Technology. Accessed 09 Feb 2020. https:\/\/en.wikipedia.org\/wiki\/Massachusetts_Institute_of_Technology"},{"key":"4_CR7","unstructured":"Scharmer C, Theorie U (2011) Von der Zukunft her f\u00fchren: Prescencing als soziale Technik. Carl-Auer Verlag"},{"key":"4_CR8","unstructured":"Scharmer O, K\u00e4ufer K (2013) Leading from the emerging future\u2014from ego-system to eco-system economies\u2014applying theory U to transforming business, society, and self. Berrett-Koehler Publishers Inc"},{"key":"4_CR9","doi-asserted-by":"publisher","unstructured":"Benzm\u00fcller C, Miller D (2014) Automation of higher-order logic. In: Computational logic. Handbook of the history of logic, vol 9. North Holland, pp 215\u2013253. https:\/\/doi.org\/10.1016\/B978-0-444-51624-4.50004-6","DOI":"10.1016\/B978-0-444-51624-4.50004-6"},{"issue":"2","key":"4_CR10","doi-asserted-by":"publisher","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A Church","year":"1940","unstructured":"Church A (1940) A formulation of the simple theory of types. J Symbol Logic 5(2):56\u201368. https:\/\/doi.org\/10.2307\/2266170","journal-title":"J Symbol Logic"},{"key":"4_CR11","unstructured":"Ballarin C (2008) Introduction to Isabelle. Acessed 29 Aug 2020. http:\/\/www21.in.tum.de\/?ballarin\/belgrade08-tut\/session01\/session01.pdf"},{"issue":"5","key":"4_CR12","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1109\/tc.2009.165","volume":"59","author":"O Hasan","year":"2010","unstructured":"Hasan O, Tahar S, Abbasi N (2010) Formal reliability analysis using theorem proving. IEEE Trans Comput 59(5):579\u2013592. https:\/\/doi.org\/10.1109\/tc.2009.165","journal-title":"IEEE Trans Comput"},{"key":"4_CR13","unstructured":"Kaliszyk C, Chollet F, Szegedy C (2017) HolStep: a machine learning dataset for higher-order logic theorem proving. In: CoRR. arXiv: 1703.00426"},{"key":"4_CR14","unstructured":"von Foerster H et al (2004) Cybernetics\u2014Kybernetik, The Macy-Conferences 1946\u20131953, Volume II - Band II, Essays and Documents\u2014Essays und Dokumente. Ed. by C. Pias. Vol. II, Band II. diaphanes, Z\u00fcrich, Berlin"},{"key":"4_CR15","unstructured":"Zuse H (1999) Geschichte der Programmiersprachen. Forschungsberichte des Fach- bereichs Informatik. Berlin: Technische Universit\u00e4t, 69 S"},{"key":"4_CR16","unstructured":"Lockermann AW (2010) PROLOG\u2014Tutorium zur Vorlesung \u201cDatenbanken & Wissensrepr\u00e4sentation\u201d"},{"key":"4_CR17","unstructured":"Jan-Dirk (2018) Imperative vs. deklarative Programmierung in IT-Talents, IT- Talents Blog. IT-Talents, IT-Talents Blog. https:\/\/www.it-talents.de\/blog\/it-talents\/imperative-vs-deklarative-programmierung"},{"key":"4_CR18","unstructured":"Dangelmaier W, Laroque C, Klaas A (eds) (2013) Simulation in Produktion und Logistik, vol Band 316. Heinz Nixdorf Institut, zgl. Tagungsband 15. ASIM-Fachtagung Simulation in Produktion und Logistik, Paderborn, 09.-11. Oktober 2013 zgl. ASIM-Mitteilung Nr. 147. Verlagsschriftenreihe des Heinz Nixdorf Instituts. ISBN: 978-3-942647-35-9"},{"key":"4_CR19","doi-asserted-by":"publisher","unstructured":"Heiden B,Tonino-Heiden B (2020) Key to artificial intelligence (AI). In: Advances in intelligent systems and computing. Springer, pp 647\u2013656. https:\/\/doi.org\/10.1007\/978-3-030-55190-249","DOI":"10.1007\/978-3-030-55190-249"},{"key":"4_CR20","doi-asserted-by":"publisher","unstructured":"Markard J (2020) The life cycle of technological innovation systems. In: Technological forecasting and social change 153. https:\/\/doi.org\/10.1016\/j.techfore.2018.07.045","DOI":"10.1016\/j.techfore.2018.07.045"},{"key":"4_CR21","doi-asserted-by":"publisher","unstructured":"Granig P, Ratheiser V, Gaggl E (2018) Trendantizipierende Gesch\u00e4fts-modellinnovation. In: MIT Innovations management zu Industrie 4.0. Springer, pp 97\u2013112. https:\/\/doi.org\/10.1007\/978-3-658-11667-58","DOI":"10.1007\/978-3-658-11667-58"},{"key":"4_CR22","doi-asserted-by":"publisher","unstructured":"Hartlieb E et al (2018) Aufbau von Innovationskooperationen im Kontext von Industrie 4.0 und IoT. In: MIT Innovations management zu Industrie 4.0. Springer, pp 1\u201313. https:\/\/doi.org\/10.1007\/978-3-658-11667-51","DOI":"10.1007\/978-3-658-11667-51"},{"key":"4_CR23","doi-asserted-by":"publisher","unstructured":"Gassmann O, Wecht CH, Winterhalter S (2018) Strategisches Technolo- giemanagement f\u00fcr die Industrie 4.0. In: MIT Innovations management zu Industrie 4.0. Springer, pp 15\u201327. https:\/\/doi.org\/10.1007\/978-3-658-11667-5_2","DOI":"10.1007\/978-3-658-11667-5_2"},{"key":"4_CR24","doi-asserted-by":"publisher","unstructured":"Ivancic R, Huber RA (2018) Normative Unternehmensf\u00fchrung 4.0\". In: Mit Innovations management zu Industrie 4.0. Springer, pp 139\u2013154. https:\/\/doi.org\/10.1007\/978-3-658-11667-5_11","DOI":"10.1007\/978-3-658-11667-5_11"},{"key":"4_CR25","unstructured":"Benzm\u00fcller C, Lomfeld B (2020) Lecture: ethical and legal challenges of AI and data science. In: Benzm\u00fcller C, Lomfeld B (eds) Practical seminar block course: 14.-25. September, Freie Universit\u00e4t Berlin. https:\/\/mycampus.imp.fu-berlin.de\/portal\/site\/4e732ee4-5f15-4065-8bb1-471dafd573e4"},{"key":"4_CR26","doi-asserted-by":"publisher","unstructured":"Lurger B (1999) Grundfragen der Vereinheitlichung des Vertragsrechts in der Europ\u00e4ischen Union. In: Martiny D, Witzleb N (eds) Auf dem Wege zu einem Europ\u00e4ischen Zivilge- setzbuch. Schriftenreihe der Juristischen Fakult\u00e4t der Europa-Universit\u00e4t Viadrina Frankfurt (Oder). Springer, Berlin, pp 141\u2013167. https:\/\/doi.org\/10.1007\/978-3-642-60141-5_9","DOI":"10.1007\/978-3-642-60141-5_9"},{"key":"4_CR27","unstructured":"Tonino-Heiden B (2020) Vertragsinterpretation nach dem Ubereinkommen der Vereinten Nationen \u00fcber Vertr\u00e4ge \u00fcber den Internationalen Warenkauf. Unpublished Work"},{"key":"4_CR28","unstructured":"Eccles JC (1989) Evolution of the brain creation of the self. Routledge, London. XV, 282 S. ISBN: 0-415-02600-8"},{"key":"4_CR29","doi-asserted-by":"publisher","unstructured":"Ahmed W, Hasan O, Tahar S (2016) Towards formal reliability analysis of logistics service supply chains using theorem proving. In: Konev B, Schulz S, Simon L (eds), IWIL\u20142015, 11th international workshop on the implementation of logics, vol 40. EPiC series in computing. EasyChair, pp 1\u201314. https:\/\/doi.org\/10.29007\/6l77","DOI":"10.29007\/6l77"},{"key":"4_CR30","doi-asserted-by":"publisher","unstructured":"Louren HR (2005) Logistics management\u2014an opportunity for metaheuristics. In: Rego C, Alidaee B (eds) Metaheuristic optimization via memory and evolution: Tabu search and scatter search. Springer, pp 329\u2013356. https:\/\/doi.org\/10.1007\/0-387-23667-8_15","DOI":"10.1007\/0-387-23667-8_15"},{"issue":"6","key":"4_CR31","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1108\/09600030410548532","volume":"34","author":"P Wanke","year":"2004","unstructured":"Wanke P (2004) Strategic logistics decision making. Int J Phys Distribut Logist Manage 34(6):466\u2013478","journal-title":"Int J Phys Distribut Logist Manage"},{"key":"4_CR32","unstructured":"Dasgupta S, Papadimitriou C, Vazirani U (2008) Algorithms. The McGraw-Hill Companies, Boston. ISBN: 9870073523408"},{"key":"4_CR33","unstructured":"Dantzig G, Fulkerson D (1955) On the max flow min cut theorem of networks. In: RAND corporation (P-826), pp. 1\u201313. http:\/\/www.dtic.mil\/dtic\/tr\/fulltext\/u2\/605014.pdf"},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"Heiden B et al (2020) Framing artificial intelligence (AI) additive manufacturing (AM) (unpublished)","DOI":"10.1016\/j.procs.2021.04.161"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"Heiden B, Alieksieiev V, Tonino-Heiden B (2020) Communication in Human\u2014Machine\u2014Product Triangle\u2014Universal properties of the automation chain (unpublished)","DOI":"10.1007\/978-3-030-73103-8_71"},{"key":"4_CR36","unstructured":"Heiden B et al (2019) Orgiton theory (unpublished)"},{"key":"4_CR37","unstructured":"Heiden B, Tonino-Heiden B (2020) Philosophical studies\u2014special Orgiton theory\/Philosophische Untersuchungen - Spezielle Orgitontheorie (En- glish and German Edition) (unpublished)"},{"key":"4_CR38","doi-asserted-by":"publisher","unstructured":"Benzm\u00fcller C, Parent X, van der Torre L (2020) Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. In: Artificial intelligence 287. https:\/\/doi.org\/10.1016\/j.artint.2020.103348","DOI":"10.1016\/j.artint.2020.103348"},{"key":"4_CR39","unstructured":"Gunning D (2017) Explainable artificial intelligence (XAI). In: Defense advanced research projects agency (DARPA), nd Web 2"}],"container-title":["Lecture Notes in Networks and Systems","Proceedings of Sixth International Congress on Information and Communication Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-16-2380-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,16]],"date-time":"2021-09-16T09:18:25Z","timestamp":1631783905000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-16-2380-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,17]]},"ISBN":["9789811623790","9789811623806"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-981-16-2380-6_4","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2021,9,17]]},"assertion":[{"value":"17 September 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}