Bibel, Wolfgang, 1938-....
Bibel, W., 1938-
Bibel, Wolfgang
Wolfgang Bibel
VIAF ID: 39467805 ( Personal )
Permalink: http://viaf.org/viaf/39467805
Preferred Forms
-
-
- 100 1 _ ‡a Bibel, W. ‡d 1938-
-
-
-
- 100 1 _ ‡a Bibel, W., ‡d 1938-
-
-
- 100 1 _ ‡a Bibel, Wolfgang
-
-
- 100 1 _ ‡a Bibel, Wolfgang ‡d 1938-
-
-
- 100 1 _ ‡a Bibel, Wolfgang, ‡d 1938-....
- 100 0 _ ‡a Wolfgang Bibel
4xx's: Alternate Name Forms (23)
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 |
---|---|
AIMSA'84 | |
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 | |
Fifth conference on automated deduction : Les Arcs, France, July 8-11, 1980 | |
Fundamentals of Artificial Intelligence | |
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 |