Benzmüller, Christoph
Occupation: | Information scientist / Mathematician |
---|---|
Corporate Relations: | Otto-Friedrich-Universität Bamberg: 2022- Freie Universität Berlin: 2021-2022 |
Geographical Relations: | Country: Germany (XA-DE) |
Biographical References: | AM ![]() ![]() ![]() |
Subsystems: | RelBib |
Newest Publications (by)
- Symbolic Ai and Gödel's Ontological Argument
- Formalization, Mechanization and Automation of Gödel's Proof of God's Existence
Related Authors
Frequent keywords
Publication Timeline
Details
-
MARC
LEADER | 00000cz a2200000n 4500 | ||
---|---|---|---|
001 | 1677131578 | ||
003 | DE-627 | ||
005 | 20221201212219.0 | ||
008 | 190917n||aznnnabbn | aaa |c | ||
024 | 7 | |a Q59998446 |2 wikidata |9 PipeLineGenerated | |
024 | 7 | |a http://d-nb.info/gnd/1194945430 |2 uri | |
024 | 7 | |a 0000-0002-3392-3093 |2 orcid |9 v:base | |
035 | |a (DE-588)1194945430 | ||
035 | |a (DE-627)1677131578 | ||
040 | |a DE-627 |b ger |c DE-627 |e rda | ||
043 | |c XA-DE | ||
079 | |a g |b p |c v |q f |v piz | ||
100 | 1 | |a Benzmüller, Christoph | |
375 | |a 1 |2 iso5218 | ||
510 | 2 | |0 (DE-627)103252908 |0 (DE-576)192034820 |0 (DE-588)2056127-1 |a Otto-Friedrich-Universität Bamberg |4 affi |w r |i Affiliation |e Affiliation |9 Z:2022- | |
510 | 2 | |0 (DE-627)10140400X |0 (DE-576)193628376 |0 (DE-588)2114189-7 |a Freie Universität Berlin |4 affi |w r |i Affiliation |e Affiliation |9 Z:2021-2022 | |
548 | |a 1992- |4 datw |w r |i Wirkungsdaten | ||
550 | |0 (DE-627)105635685 |0 (DE-576)209694017 |0 (DE-588)4139395-8 |a Informatiker |4 berc |w r |i Charakteristischer Beruf | ||
550 | |0 (DE-627)10623479X |0 (DE-576)209027355 |0 (DE-588)4037945-0 |a Mathematiker |4 beru |w r |i Beruf | ||
550 | |a Prof. Dr. |4 akad |w r |i Akademischer Grad | ||
670 | |a AM | ||
670 | |b Stand: 26.07.2022 |u http://christoph-benzmueller.de/publications.html | ||
ORI | |a SA-MARC-ixtheoc001.raw | ||
SUB | |a IXT |b 2 | ||
SUB | |a REL |b 1 | ||
TIT | |a ixtheo |a relbib |