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: | ![]() LCAuth LOC (n87852138) ![]() 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 |