Piecha, Thomas
Occupation: | Information scientist / Physicist |
---|---|
Corporate Relations: | Eberhard Karls Universität Tübingen. Mathematisch-Naturwissenschaftliche Fakultät |
Geographical Relations: | Location of work: Tübingen Country: Germany (XA-DE) |
Biographical References: | ![]() ![]() |
Subsystems: | RelBib |
Newest Publications (by)
- Advances in proof-theoretic semantics
- 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
- Proceedings of the Conference on Hypothetical Reasoning, 23 - 24 August 2015, Tübingen
Related Authors
- 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
Frequent keywords
Publication Timeline
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 SA-MARC-ixtheoc001.raw | ||
SUB | |a IXT |b 4 | ||
SUB | |a REL |b 4 | ||
TIT | |a ixtheo |a relbib |