Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (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: 
Gesellschaft für Informatik
Hölldobler, Steffen
Jantke, Klaus P.
Jorrand, Ph.
Jorrand, Philippe
Kowalski, Robert
Neugebauer, Gerd
Schmitt, Peter H.
Siekmann, Jörg H.
Titles: 
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
Artifical intelligence : methodology, systems, applications : proceedings of the International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '84) Varna, Bulgaria, 17-20 September 1984
Artificial intelligence
Automated deduction a basis for applications
Automated theorem proving
Computational intelligence
Conference on Automated Deduction, 5th, Les Arcs, France, 1980.
Deduction : automated logic ; with the asst. of Steffen Hölldobler and exercises by Gerd Neugebauer ; transl. by Monika Lekuse with the asst. of Donald Sannella, 1993
Deduktion : Automatisierung der Logik
Fifth Conference on Automated Deduction
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, held in Wendisch-Rietz (GDR), April 22-26, 1985
Vieweg computational intelligence
Wissensbasierte Echtzeitplanung
Notes: 
Sources: 
VIAF BNF LC NKC NTA NUKAT SUDOC WKP
TEL