Krieg-Brückner, Bernd.
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Krieg-Brückner, B. (Bernd)
Krieg-Brückner, Bernd 1949-
Bernd Krieg-Brückner Dr. rer. nat. Technische Universität München 1978
VIAF ID: 20329161 (Personal)
Permalink: http://viaf.org/viaf/20329161
Preferred Forms
-
100 0 _
‡a
Bernd Krieg-Brückner
‡c
Dr. rer. nat. Technische Universität München 1978
-
100 1 _ ‡a Krieg-Brückner, B. ‡q (Bernd)
-
100 1 _ ‡a Krieg-Brückner, B. ‡q (Bernd)
-
100 1 _
‡a
Krieg-Brückner, B.
‡q
(Bernd)
-
100 1 _
‡a
Krieg-Brückner, Bernd
-
100 1 _ ‡a Krieg-Brückner, Bernd
-
100 1 _
‡a
Krieg-Brückner, Bernd
‡d
1949-
-
100 1 _
‡a
Krieg-Brückner, B.
‡q
(Bernd)
-
100 1 _ ‡a Krieg-Brückner, Bernd
-
100 1 _ ‡a Krieg-Brückner, Bernd
-
100 1 _
‡a
Krieg-Brückner, Bernd
-
100 1 _ ‡a Krieg-Brückner, Bernd
-
100 1 _ ‡a Krieg-Brückner, Bernd.
4xx's: Alternate Name Forms (15)
5xx's: Related Names (5)
- 551 _ _
‡a
Bremen
‡4
ortw
‡4
https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 500 1 _
‡a
Brückner, Leslie
‡d
1984-
‡4
bezf
‡4
https://d-nb.info/standards/elementset/gnd#familialRelationship
‡e
Beziehung familiaer
- 510 2 _
‡a
Deutsches Forschungszentrum für Künstliche Intelligenz
‡4
affi
‡4
https://d-nb.info/standards/elementset/gnd#affiliation
‡e
Affiliation
- 510 2 _
‡a
Technische Universität München
‡4
affi
‡4
https://d-nb.info/standards/elementset/gnd#affiliation
‡e
Affiliation
- 510 2 _
‡a
Universität Bremen
‡b
Fachbereich Mathematik, Informatik
‡4
affi
‡4
https://d-nb.info/standards/elementset/gnd#affiliation
‡e
Affiliation
Works
| Title | Sources |
|---|---|
| Algebraic foundations of systems specification, 1999: |
|
| ANNA, a language for annotating ADA programs : reference manual |
|
| Declarative reasoning about space and motion in visual imagery - theoretical foundations and applications |
|
| ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings |
|
| A generic calculus of transformations |
|
| Program development by specification and transformation : the PROSPECTRA methodology, language family, and system |
|
| Spatial Cognition IV Reasoning, Action, Interaction : International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers |
|
| UniForM workbench universelle Entwicklungsumgebung für formale Methoden ; Schlußbericht Januar 1999 |
|
