Year of publication
Type of media
Source
Subject
Type of material
Licence
Language
Synonyms were used for: Kirche
Search without synonyms: keywords:("Kirche")
Used synonyms:
- christliche kirche
- church
-
Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis
Springer Verlag | 2016|Keywords: Church-Turing Thesis -
Church synthesis on register automata over linearly ordered data domains
Springer Verlag | 2022|Keywords: Church game -
Software Engineering Foundations of Zoetic Data and Totally Functional Programming
Springer Verlag | 2016|Keywords: Church numeral -
Customising Web Information Systems According to User Preferences
Springer Verlag | 2008|Keywords: Church-Rosser property -
Synthesis of Recursive ADT Transformations from Reusable Templates
Springer Verlag | 2017|Keywords: Church Encoding -
Quantum Algorithms: Philosophical Lessons
Springer Verlag | 2007|Keywords: The Church-Turing thesis -
A broader view on the limitations of information processing and communication by nature
Springer Verlag | 2007|Keywords: Church-Turing barrier -
Development of Strategies and Transformation Paths for Structured and Targeted Digital Change: The Case of the Presbyterian Church of Ghana Trinity Congregation
Springer Verlag | 2018|Keywords: Church Events -
Alternative Dome Reconstruction Method for Masonry Structures
Springer Verlag | 2019|Keywords: Church -
Regular Languages Are Church-Rosser Congruential
Springer Verlag | 2012|Keywords: Church-Rosser system -
Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick
Springer Verlag | 2012|Keywords: Church representation -
Philosophy of Mind Is (in Part) Philosophy of Computer Science
Springer Verlag | 2011|Keywords: Church-Turing thesis
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.