Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000108899143 | 1 hits
Person
ISNI: 
0000 0001 0889 9143
Name: 
Bibel, W.
Bibel, Wolfgang
Dates: 
1938-
Creation class: 
cre
Language material
Text
Creation role: 
author
contributor
editor
redactor
Related names: 
Hölldobler, Steffen
Jantke, Klaus P.
Jorrand, Philippe
Kowalski, Robert
Neugebauer, Gerd
Schmitt, Peter H. (1948-...)
Schneeberger, Josef
Siekmann, Jörg H.
Titles: 
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
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
Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985
Studien- und Forschungsführer künstliche Intelligenz
Vieweg computational intelligence
Wissensbasierte Echtzeitplanung
Notes: 
Sources: 
VIAF LC NKC NTA NUKAT SUDOC WKP
TEL