Request access rights (This is me!)

Klaeren, Herbert 1950-

Born: 1950, Gerolstein
Other Names:
  • Klaeren, H. A.
  • Klaeren, Herbert Alois
  • Klaeren, Herbert A.
  • Klaeren, Herbert Aloysius Hubert
Occupation: Information scientist
Geographical Relations: Place of birth: Gerolstein
Biographical References: GND (12142622X)
Internet
Wikidata (Q1259133)
Wikipedia

Newest Publications (by)

see all (1)

Frequent 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 
Feedback