Zum Inhalt springen

  2. Dorn, Jürgen [VerfasserIn] ; Bibel, Wolfgang [HerausgeberIn]

    Wissensbasierte Echtzeitplanung

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Braunschweig [u.a.]: Vieweg, 1989

    Erschienen in: Künstliche Intelligenz

  8. Bibel, Wolfgang [VerfasserIn]

    Automated theorem proving

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Braunschweig [u.a.]: Vieweg, 1982

  10. Bibel, Wolfgang [HerausgeberIn]; Jantke, Klaus P. [HerausgeberIn] ; Workshop on Mathematical Methods of Specification and Synthesis of Software Systems 1985 Wendisch Rietz

    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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin: Akademie-Verlag, c 1986

    Erschienen in: Mathematical research ; 31

  12. Dietrich, Wolfgang [Sonstige Person, Familie und Körperschaft]; Wellmann, Bettina [BearbeiterIn] ; Katholisches Bibelwerk e.V

    Zehn Gebote

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Stuttgart: Verl. Kath. Bibelwerk, 2001

    Erschienen in: Entdecken: Lese- und Arbeitsbuch zur Bibel

  13. Horstmann, Johannes [HerausgeberIn]; Fuchs, Wolfgang J. [Sonstige Person, Familie und Körperschaft] ; Tagung Religiöse Comics, zum Pastoralen Einsatz von Bibel-Comics und von Allgemeinen Religiösen Comics 1980 Schwerte

    Religioese Comics : zum pastoralen Einsatz von "Bibel-Comics" u. v. "allg. relig. Comics"; [Dokument. zur Tagung vom 27.-30. Mai 1980]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schwerte: Kath. Akad., 1981

    Erschienen in: Katholische Akademie Schwerte: Dokumentationen / Katholische Akademie Schwerte ; 3

  14. Matt, Robert [KomponistIn] ; Groos, Wolfgang [FilmregisseurIn]; Gypkens, Martin [DrehbuchautorIn]; Petzold, Anton [SchauspielerIn]; Winkler, Juri [SchauspielerIn]; Herfurth, Karoline [SchauspielerIn]; Bleibtreu, Moritz [SchauspielerIn]; Hübchen, Henry [SchauspielerIn]; Thalbach, Katharina [SchauspielerIn]; Biebl, Stefan [Kameramann/Kamerafrau]

    Rico, Oskar und das Herzgebreche (1 DVD-Video)

    Videos
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Hamburg: Oetinger Media GmbH, [2016]

    Erschienen in: Oetinger Kino

  15. Matt, Robert [KomponistIn] ; Groos, Wolfgang [FilmregisseurIn]; Gypkens, Martin [DrehbuchautorIn]; Petzold, Anton [SchauspielerIn]; Winkler, Juri [SchauspielerIn]; Herfurth, Karoline [SchauspielerIn]; Bleibtreu, Moritz [SchauspielerIn]; Hübchen, Henry [SchauspielerIn]; Thalbach, Katharina [SchauspielerIn]; Biebl, Stefan [Kameramann/Kamerafrau]

    Rico, Oskar und das Herzgebreche (1 DVD-Video)

    Videos
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Frankfurt/Main: Twentieth Century Fox Home Entertainment GmbH, [2015]

  17. Bibel, Wolfgang [Sonstige Person, Familie und Körperschaft]

    Fundamentals of artificial intelligence : an advanced course

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1986 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 23200

  18. Bibel, Wolfgang [Sonstige Person, Familie und Körperschaft]

    Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22 - 26, 1985

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1986 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 21500

  19. Bibel, Wolfgang [Sonstige Person, Familie und Körperschaft] ; Conference on Automated Deduction 5 1980 Les Arcs

    5th Conference on Automated Deduction : Les Arcs, France, July 8 - 11, 1980

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1980 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 8700

  20. Bibel, Wolfgang [VerfasserIn] ; Neugebauer, Gerd [Sonstige Person, Familie und Körperschaft]; Hölldobler, Steffen [Sonstige Person, Familie und Körperschaft]

    Deduktion : Automatisierung der Logik - [Reprint 2020]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    München; Wien: De Gruyter Oldenbourg, [2020] ; [Online-Ausgabe]

    Erschienen in: Handbuch der Informatik ; 6.2