Bibel, Wolfgang, 1938-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Bibel, W., 1938-
Bibel, Wolfgang
Bibel, W.
VIAF ID: 39467805 (Personal)
Permalink: http://viaf.org/viaf/39467805
ISNI-test: 0000 0001 0889 9143
Preferred Forms
-
100 1 _
‡a
Bibel, W.
(undifferentiated)
(sparse)
-
100 1 _
‡a
Bibel, Wolfgang
-
100 1 _
‡a
Bibel, W.
‡d
1938-
-
100 1 _ ‡a Bibel, Wolfgang, ‡d 1938-
-
100 1 _ ‡a Bibel, W., ‡d 1938-
-
100 1 0
‡a
Bibel, W.,
‡d
1938-
-
200 _ |
‡a
Bibel
‡b
Wolfgang
‡f
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-
4xx's: Alternate Name Forms (7)
5xx's: Related Names (2)
- 510 2 _
‡a
Institut für Informationstechnik
‡9
g:München
‡e
Affiliation
- 510 2 _
‡a
Technische Hochschule Darmstadt
‡e
Affiliation
Selected Titles
- Fundamentals of artificial intelligence : an advanced course
(11)
- Automated theorem proving
(9)
- Automated deduction a basis for applications
(6)
- Deduction : automated logic / by Wolfgang Bibel ; with the asst. of Steffen Hölldobler and exercises by Gerd Neugebauer ; transl. by Monika Lekuse with the asst. of Donald Sannella, 1993
(5)
- 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
(4)
- Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985
(3)
- Künstliche Intelligenz : Frühjahrsschule, Teisendorf, 15.-24. März 1982
(3)
- Plan generation by linear proofs on semantics
(2)
- Intellectics and computational logic : papers in honor of Wolfgang Bibel
(2)
- Deduktion : Automatisierung der Logik
(2)
