Bibel, Wolfgang, 1938-....
Bibel, W., 1938-
Bibel, Wolfgang
Wolfgang Bibel informaticien allemand
VIAF ID: 39467805 (Personal)
Permalink: http://viaf.org/viaf/39467805
Preferred Forms
-
200 _ | ‡a Bibel ‡b Wolfgang ‡f 1938-....
-
100 1 _ ‡a Bibel, W. ‡d 1938-
-
100 1 _ ‡a Bibel, W., ‡d 1938-
-
-
-
-
-
-
100 1 _ ‡a Bibel, Wolfgang ‡d 1938-
-
-
-
100 1 _ ‡a Bibel, Wolfgang, ‡d 1938-....
-
100 0 _ ‡a Wolfgang Bibel ‡c informaticien allemand
4xx's: Alternate Name Forms (17)
5xx's: Related Names (8)
- 551 _ _
‡a
Darmstadt
‡4
ortw
‡4
http://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _
‡a
Institut für Informationstechnik (München)
- 510 2 _
‡a
Internationales Begegnungs- und Forschungszentrum für Informatik
- 551 _ _
‡a
München
‡4
ortw
‡4
http://d-nb.info/standards/elementset/gnd#placeOfActivity
- 551 _ _
‡a
Nürnberg
‡4
ortg
‡4
http://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _
‡a
Technische Hochschule Darmstadt
- 510 2 _
‡a
Technische Hochschule Darmstadt
‡4
affi
‡4
http://d-nb.info/standards/elementset/gnd#affiliation
‡e
Affiliation
- 510 2 _
‡a
Technische Universität München
‡b
Institut für Informationstechnik
‡4
affi
‡4
http://d-nb.info/standards/elementset/gnd#affiliation
‡e
Affiliation
Works
Title | Sources |
---|---|
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Artificial intelligence methodology, systems, applications ; proceedings of the International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '84), Varna, Bulgaria, 17 - 20 September, 1984 |
![]() ![]() ![]() ![]() |
Automated deduction a basis for applications |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Automated theorem proving |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Deduction 08.03. - 12.03.93 |
![]() |
Deduction 24.02. - 28.02.97 |
![]() |
Deduktion Automatisierung der Logik |
![]() ![]() |
Fundamentals of artificial intelligence an advanced course |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Intellectics and computational logic : papers in honor of Wolfgang Bibel |
![]() ![]() |
Künstliche Intelligenz : Frühjahrsschule, Teisendorf, 15.-24. März 1982 |
![]() ![]() ![]() |
Lehren vom Leben Essays über Mensch und Gesellschaft |
![]() |
Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985 |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Plan generation by linear proofs on semantics |
![]() |
Reflexionen vor Reflexen Memoiren eines Forschers |
![]() |
Schnittelimination in einem Teilsystem der einfachen Typenlogik |
![]() |
Studien- und Forschungsführer künstliche Intelligenz |
![]() ![]() ![]() |
Vieweg computational intelligence |
![]() |
Wissensbasierte Echtzeitplanung |
![]() |
Wissensrepräsentation und Inferenz eine grundlegende Einführung |
![]() |