search result

Cover von Deduction
automated logic
Author: Bibel, Wolfgang Search for this author
Year: 1993
Publisher: London, Academic Press
Media group: MONOGRAPHIE
Cover von Deduktion
Automatisierung und Logik
Author: Bibel, Wolfgang Search for this author
Year: 1992
Publisher: München, Oldenbourg
Series: Handbuch der Informatik; 6.2
Media group: MONOGRAPHIE
Cover von Fundamentals of artificial intelligence
an advanced course
Search for this author
Year: 1987
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 232
Media group: MONOGRAPHIE
Cover von Automated theorem proving
Author: Bibel, Wolfgang Search for this author
Year: 1987
Publisher: Braunschweig, Vieweg
Series: Artificial Intelligence / Künstliche Intelligenz
Media group: MONOGRAPHIE
Cover von Reflexionen vor Reflexen
Memoiren eines Forschers
Author: Bibel, Wolfgang Search for this author
Year: 2017
Publisher: Göttingen, Cuvillier
Media group: MONOGRAPHIE
Cover von Visionen der KI Forschung; 4
Schwerpunkt : S. 1 - 71
Search for this author
Year: 2006
Publisher: Bremen, arenDTaP
Count: 4
Media group: SPECIAL ISSUE
Cover von Lehren vom Leben
Essays über Mensch und Gesellschaft
Author: Bibel, Wolfgang Search for this author
Year: 2003
Publisher: Wiesbaden, DUV
Media group: MONOGRAPHIE
Cover von Automated deduction

Automated deduction

a basis for application
1998
Dordrecht, Kluwer
Media group: GESAMTWERK
Volumes loading
Cover von Deduction
20.03. - 24.03.95 (9512)
Search for this author
Year: 1995
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 110
Media group: DAGSTUHL-SEMINAR-REP
Cover von Deduction
08.03. - 12.03.93 (9310)
Search for this author
Year: 1993
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 58
Media group: DAGSTUHL-SEMINAR-REP
OPEN V 11.1.0.0