Bibel, Wolfgang: Deduktion
: Automatisierung der Logik / von Wolfgang Bibel. Unter Mitarb. von Steffen Hölldobler. Mit einem Übungsteil von Gerd Neugebauer. - München : Oldenbourg, 1992. - 269 S. : graph. Darst.; 25 cm - (Handbuch der Informatik; Bd. 6.2)
ISBN 978-3-486-20785-9 / 3-486-20785-7 Kunststoff
Literaturverz. S. 239 - 254
Quelle: DNB
Bibel, Wolfgang: Wissensrepräsentation und Inferenz
: eine grundlegende Einführung / Wolfgang Bibel. Zusammen mit Steffen Hölldobler und Torsten Schaub. - Braunschweig : Vieweg, 1993. - 387 S.; 23 cm - (Künstliche Intelligenz)
ISBN 978-3-528-05374-1 / 3-528-05374-7 kart. : DM 44.00
Liteaturverz. S. 343 - 368
Quelle: DNB

