Zum Inhalt springen

  1. Bibel, Wolfgang [VerfasserIn] ; Schmitt, Peter H. [HerausgeberIn]

    Automated Deduction — A Basis for Applications : Volume II: Systems and Implementation Techniques

    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.

    Dordrecht: Springer, 1998

    Erschienen in: Applied Logic Series ; 9- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics

  2. Bibel, Wolfgang [VerfasserIn] ; Schmitt, Peter H. [HerausgeberIn]

    Automated Deduction — A Basis for Applications : Volume III Applications

    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.

    Dordrecht: Springer, 1998

    Erschienen in: Applied Logic Series ; 10- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics

  3. Bibel, Wolfgang [VerfasserIn] ; Jorrand, Philippe [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, Heidelberg: Springer Berlin Heidelberg, 1986

    Erschienen in: Lecture notes in computer science ; 232

  4. Bibel, Wolfgang [VerfasserIn] ; Jantke, Klaus P. [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, Heidelberg: Springer Berlin Heidelberg, 1986

    Erschienen in: Lecture notes in computer science ; 215

  5. Otten, Jens [HerausgeberIn]; Bibel, Wolfgang [HerausgeberIn] ; AReCCa 1. 2023 Prag

    Automated Reasoning with Connection Calculi : 1st InternationalWorkshop, AReCCa 2023, Prague, Czech Republic, September 18th, 2023 : proceedings

    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.

    [Aachen, Germany]: [RWTH Aachen], 2024-01-08

    Erschienen in: CEUR workshop proceedings ; 3613

  6. Bibel, Wolfgang [VerfasserIn]; Furbach, Ulrich [VerfasserIn]

    Formierung eines Forschungsgebiets – Künstliche Intelligenz und Intellektik an der Technischen Universität München

    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: Deutsches Museum, 2018

    Erschienen in: Preprint ; 15

  7. Bibel, Wolfgang [VerfasserIn]; Schmitt, Peter H. [VerfasserIn]

    Automated deduction - a basis for applications. Vol. 1: Foundations - calculi and methods. Vol. 2: Systems and implementation techniques. Vol. 3: Applications

    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.

    KITopen (Karlsruhe Institute of Technologie), 2008-01-16

  8. Bibel, Wolfgang [VerfasserIn]; Furukawa, Koichi [VerfasserIn]; Stickel, Mark [VerfasserIn] ; Wolfgang Bibel and Koichi Furukawa and Mark Stickel [MitwirkendeR]

    Deduction (Dagstuhl Seminar 9512)

    Aufsätze
    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.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1995

  9. Bibel, Wolfgang [VerfasserIn]; Furukawa, Koichi [VerfasserIn]; Stickel, Mark [VerfasserIn] ; Wolfgang Bibel and Koichi Furukawa and Mark Stickel [MitwirkendeR]

    Deduction (Dagstuhl Seminar 9310)

    Aufsätze
    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.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1993

  10. Bibel, Wolfgang [VerfasserIn]; Furbach, Ulrich [VerfasserIn]; Hasegawa, Ryuzo [VerfasserIn]; Stickel, Mark [VerfasserIn] ; Wolfgang Bibel and Ulrich Furbach and Ryuzo Hasegawa and Mark Stickel [MitwirkendeR]

    Deduction (Dagstuhl Seminar 9709)

    Aufsätze
    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.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1997

  14. Bibel, Wolfgang

    Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Mind the Divide Surrounding Knowledge Representation

    Aufsätze
    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.

    Springer International Publishing, 2015

    Erschienen in: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation

  16. Bibel, Wolfgang

    KI ohne Geist

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Springer Science and Business Media LLC, 2011

    Erschienen in: KI - Künstliche Intelligenz