Klaeren, Herbert 1950-
Born: | 1950, Gerolstein |
---|---|
Other Names: |
|
Occupation: | Information scientist |
Geographical Relations: | Place of birth: Gerolstein |
Biographical References: | GND (12142622X) Internet Wikidata (Q1259133) Wikipedia |
Newest Titles (by)
Popular keywords
Publication Timeline
Details
- Klaeren, H. A.
- Klaeren, Herbert A.
- Klaeren, Herbert Alois
- Klaeren, Herbert Aloysius Hubert
MARC
LEADER | 00000cz a2200000n 4500 | ||
---|---|---|---|
001 | 08129901X | ||
003 | DE-627 | ||
005 | 20220310215435.0 | ||
008 | 120419n||aznnnabbn | aaa |c | ||
024 | 7 | |a Q1259133 |2 wikidata |9 PipeLineGenerated | |
024 | 7 | |a http://d-nb.info/gnd/12142622X |2 uri | |
035 | |a (DE-588)12142622X | ||
035 | |a (DE-627)08129901X | ||
035 | |a (DE-576)292703511 | ||
035 | |z (DE-588a)12142622X |9 v:zg | ||
079 | |a g |b p |c v |q f |v piz | ||
100 | 1 | |a Klaeren, Herbert |d 1950- | |
375 | |a 1 |2 iso5218 | ||
400 | 1 | |a Klaeren, H. A. |d 1950- |9 v:LCAuth | |
400 | 1 | |a Klaeren, Herbert Alois |d 1950- | |
400 | 1 | |a Klaeren, Herbert A. |d 1950- | |
400 | 1 | |a Klaeren, Herbert Aloysius Hubert |d 1950- | |
548 | |a 1950- |4 datl |w r |i Lebensdaten | ||
550 | |0 (DE-627)105635685 |0 (DE-576)209694017 |0 (DE-588)4139395-8 |a Informatiker |4 berc |w r |i Charakteristischer Beruf | ||
550 | |a Mathematik, Physik (Bonn) |4 stud |w r |i Studienfach | ||
550 | |a Dr. (RWTH Aachen); Prof. für Programmiersprachen Tübingen 1988- |4 akad |w r |i Akademischer Grad | ||
551 | |a Gerolstein |4 ortg |w r |i Geburtsort | ||
667 | |a MMm | ||
670 | |a Wikipedia |u https://de.wikipedia.org/wiki/Herbert_Klaeren |9 PipeLineGenerated | ||
670 | |a Internet | ||
678 | |b Professor für Informatik | ||
678 | |b Informatiker | ||
692 | |a Potenzkategorien und ihre Anwendung auf den Beweis von Programmeigenschaften | ||
692 | |a Einfuehrung in die abstrakte Software-Spezifikation | ||
692 | |a A simple class of algorithmic specifications for abstract software modules | ||
692 | |a On parameterized abstract software modules using inductively specified operations | ||
692 | |a The development of an interpreter by means of abstract algebraic software specifications | ||
692 | |a Algebraische Spezifikation | ||
692 | |a Ein algebraischer Ansatz zur Rekursionselimination | ||
692 | |a Datenraeume mit algebraischer Struktur | ||
692 | |a A constructive method for abstract algebraic software specification | ||
692 | |a Algebraic software specification and compiler generation | ||
ORI | |a SA-MARC-ixtheoc001.raw | ||
SUB | |a IXT |b 1 | ||
TIT | |a ixtheo |