Siefkes, Dirk 1938-2016
| Born: | 1938, Dessau |
|---|---|
| Died: | 2016 |
| Other Names: |
|
| Occupation: | Information scientist |
| Corporate Relations: | Technische Universität Berlin |
| Geographical Relations: | Place of birth: Dessau Country: Germany (XA-DE) |
| Biographical References: |  GND (10682726X)LCAuth LOC (n87852138)  Wikidata (Q26722305)Wikipedia:Dirk Siefkes |
Newest Titles (by)
Related Authors
Popular keywords
Publication Timeline
Details
- Siefkes, D.
MARC
| LEADER | 00000cz a2200000n 4500 | ||
|---|---|---|---|
| 001 | 600274748 | ||
| 003 | DE-627 | ||
| 005 | 20240727211746.0 | ||
| 008 | 120419n||aznnnabbn | aaa |c | ||
| 024 | 7 | |a Q26722305 |2 wikidata |9 PipeLineGenerated | |
| 024 | 7 | |a http://d-nb.info/gnd/10682726X |2 uri | |
| 024 | 7 | |a n87852138 |2 lccn | |
| 035 | |a (DE-588)10682726X | ||
| 035 | |a (DE-627)600274748 | ||
| 035 | |a (DE-576)163070091 | ||
| 035 | |z (DE-588a)172374014 |9 v:zg | ||
| 035 | |z (DE-588a)10682726X |9 v:zg | ||
| 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 Siefkes, Dirk |d 1938-2016 | |
| 375 | |a 1 |2 iso5218 | ||
| 400 | 1 | |a Siefkes, D. |d 1938-2016 | |
| 510 | 2 | |0 (DE-627)101423497 |0 (DE-576)193650169 |0 (DE-588)2114678-0 |a Technische Universität Berlin |4 affi |w r |i Affiliation |e Affiliation | |
| 548 | |a 1938-2016 |4 datl |w r |i Lebensdaten | ||
| 550 | |a Prof. Dr. rer. nat. |4 akad |w r |i Akademischer Grad | ||
| 550 | |0 (DE-627)105635685 |0 (DE-576)209694017 |0 (DE-588)4139395-8 |a Informatiker |4 berc |w r |i Charakteristischer Beruf | ||
| 551 | |0 (DE-627)104746300 |0 (DE-576)208893989 |0 (DE-588)4011536-7 |a Dessau |4 ortg |w r |i Geburtsort | ||
| 670 | |a LCAuth | ||
| 670 | |a Wikipedia:Dirk Siefkes |b Stand:24.04.2020 |u https://de.wikipedia.org/wiki/Dirk_Siefkes | ||
| 678 | |b emeritiert 1.10.2003 | ||
| 692 | |a Mithrsg.: Pioniere der Informatik | ||
| 692 | |a Hrsg.: Sozialgeschichte der Informatik | ||
| 692 | |a Hrsg.: Sichtwiesen der Informatik | ||
| 692 | |a Formale Mehtoden und kleine Systeme | ||
| 692 | |a Formalisieren und Beweisen | ||
| 692 | |a Mithrsg.: Collected Papers of J. Richard Büchi | ||
| 692 | |a Büchi, J. Richard: Finite automata, their algebras and grammars | ||
| 692 | |a Büchi, J. Richard: Decidable theories II | ||
| 692 | |a Decidable theories I | ||
| 692 | |a Übers.: Quine, Willard van Orman: Grundzüge der Logik | ||
| ORI | |a sekkor-aut.mrc | ||
| SUB | |a IXT |b 1 | ||
| TIT | |a ixtheo | ||