Piecha, Thomas
Activité: | Informaticien / Physicien |
---|---|
Liens à des organisations: | Eberhard Karls Universität Tübingen. Mathematisch-Naturwissenschaftliche Fakultät |
Références géographiques: | Lieu d’action: Tübingen Pays: Allemagne (XA-DE) |
Références biographiques: | GND (1081844205) Wikidata (Q102432430) |
Sous-systèmes: | RelBib |
Titres les plus récents (de l'auteur)
- General Proof Theory: celebrating 50 Years of Dag Prawitz's "Natural Deduction" : proceedings of the Conference held in Tübingen, 27-29 November 2015
- Advances in Proof-Theoretic Semantics
- Advances in proof-theoretic semantics
- Proceedings of the Conference on Hypothetical Reasoning, 23 - 24 August 2015, Tübingen
Auteurs liés
- Schroeder-Heister, Peter 1953-
- Conference on Hypothetical Reasoning, Tübingen 2014
- Eberhard Karls Universität Tübingen, Philosophische Fakultät
- General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction", Tübingen 2015
Mots-clés populaires
Publications
Details
-
MARC
LEADER | 00000cz a2200000n 4500 | ||
---|---|---|---|
001 | 846736179 | ||
003 | DE-627 | ||
005 | 20230227203708.0 | ||
008 | 160129n||aznnnabbn | aaa |c | ||
024 | 7 | |a Q102432430 |2 wikidata |9 PipeLineGenerated | |
024 | 7 | |a http://d-nb.info/gnd/1081844205 |2 uri | |
035 | |a (DE-588)1081844205 | ||
035 | |a (DE-627)846736179 | ||
035 | |z (DE-627)1008018147 | ||
035 | |a (DE-576)454839138 | ||
035 | |z (DE-576)187886415 | ||
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 Piecha, Thomas | |
375 | |a 1 |2 iso5218 | ||
510 | 2 | |0 (DE-627)101103131 |0 (DE-576)191039381 |0 (DE-588)500849-9 |a Eberhard Karls Universität Tübingen |b Mathematisch-Naturwissenschaftliche Fakultät |4 affi |w r |i Affiliation |e Affiliation | |
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)106199870 |0 (DE-576)209067306 |0 (DE-588)4045968-8 |a Physiker |4 berc |w r |i Charakteristischer Beruf | ||
551 | |0 (DE-627)106136933 |0 (DE-576)209138351 |0 (DE-588)4061147-4 |a Tübingen |4 ortw |w r |i Wirkungsort | ||
678 | |b Dipl. Tübingen 2004 | ||
692 | |a Physikalische Grundlagen von Quantenrechnern. - 2004 | ||
692 | |a Formal dialogue semantics for definitional reasoning and implications as rules. - 2012 | ||
ORI | |a TA-MARC-ixtheo_oc001.raw | ||
SUB | |a IXT |b 4 | ||
SUB | |a REL |b 2 | ||
TIT | |a ixtheo |a relbib |