Bibel, Wolfgang, 1938-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Bibel, W., 1938-
Bibel, Wolfgang
Wolfgang Bibel informaticien allemand
VIAF ID: 39467805 (Personal)
Permalink: //viaf.org/viaf/39467805
ISNI: 0000 0001 0889 9143
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, 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 1 _
‡a
Bibel, Wolfgang
‡d
1938-
-
100 1 _ ‡a Bibel, Wolfgang, ‡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 (13)
5xx's: Related Names (6)
- 510 2 _
‡a
Institut für Informationstechnik (München)
- 510 2 _
‡a
Internationales Begegnungs- und Forschungszentrum für Informatik
- 551 _ _
‡a
Nürnberg
- 510 2 _
‡a
Technische Hochschule Darmstadt
- 510 2 _
‡a
Technische Hochschule Darmstadt
‡e
Affiliation
- 510 2 _
‡a
Technische Universität München
‡b
Institut für Informationstechnik
‡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 |
|
| 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 |
|
