mediaTUM
Universitätsbibliothek
Technische Universität München
Benutzer: Gast
Login
de
en
mediaTUM Gesamtbestand
Hochschulbibliographie
2024
(4099)
2023
(7785)
2022
(8707)
2021
(8941)
2020
(8201)
2019
(8884)
2018
(8712)
Fakultäten
(7984)
Integrated Research Centers
(481)
Institute for Advanced Study (IAS)
(378)
Munich Center for Technology in Society (MCTS)
(72)
Munich School of Bioengineering (MSB)
(14)
Munich School of Engineering
(17)
Zentrale Einrichtungen
(249)
2017
(8707)
2016
(8840)
2015
(8228)
2014
(7148)
2013
(6758)
2012
(5783)
2011
(5565)
2010
(5430)
2009
(4599)
2008
(4112)
1989 - 2007
Elektronische Prüfungsarbeiten
Open Access Publikationen
Forschungsdaten
TUM.University Press
Sammlungen
Projekte
Einrichtungen
mediaTUM Gesamtbestand
Hochschulbibliographie
2018
Integrated Research Centers
Munich Center for Technology in Society (MCTS)
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Titel:
Proof and Computation. Digitization in Mathematics, Computer Science, and Philosophy
Dokumenttyp:
Buch
Autor(en):
Mainzer, Klaus; Schuster, P.; Schwichtenberg, H.
Verlag / Institution:
World Scientific
Verlagsort:
Singapore
Jahr:
2018
Andere Ausgaben:
0
Nachgewiesen in:
Scopus
BibTeX
Vorkommen:
mediaTUM Gesamtbestand
Hochschulbibliographie
2018
Integrated Research Centers
Munich Center for Technology in Society (MCTS)
mediaTUM Gesamtbestand
Einrichtungen
Hochschulpräsidium
TUM Senior Excellence Faculty
EoE Publikationen
2018
mediaTUM Gesamtbestand
Einrichtungen
Forschungszentren
Former Munich Center for Technology in Society (MCTS)
Lehrstuhl für Philosophie und Wissenschaftsphilosophie (N.N.)
mediaTUM Gesamtbestand
Einrichtungen
Forschungszentren
Former Munich Center for Technology in Society (MCTS)
mediaTUM Gesamtbestand
Einrichtungen
Forschungszentren
Former Munich Center for Technology in Society (MCTS)
Lehrstuhl für Philosophie und Wissenschaftsphilosophie (N.N.)
Monographien