Skip to contents

  1. Siekmann, Jörg H. [Editor]

    Automation of reasoning

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 1983-

    Published in: Symbolic computation

  2. Brierley, Robert G. [Author]; Siekmann, H. J. [Author]

    Machining principles and cost control

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York [u.a.]: McGraw-Hill, 1964

  3. Siekmann, Freya Carolin [Author] ; Goethe-Universität Frankfurt am Main

    Die öffentlichen Förderbanken in Deutschland : rechtliche Grundlagen, öffentlicher Auftrag und staatliche Absicherung, staatliche Einflussnahme und Kontrolle sowie bankaufsichtsrechtliche Vorgaben - [1. Auflage]

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Baden-Baden: Nomos Verlagsgesellschaft, 2022

    Published in: Money, currency and finance ; 1

  4. Gu, Yecheng [Author] ; Siekmann, Jörg H. [Degree supervisor]

    Intelligent tutoring in Virtual Reality for highly dynamic pedestrian safety training

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Saarbrücken, October 2018

  5. Goos, G. [Author] ; Hartmanis, J. [Other]; Leeuwen, J. [Other]; Carbonell, Jaime G. [Other]; Siekmann, Jörg [Other]

    Artificial Intelligence: Methodology, Systems, and Applications : 9th International Conference, AIMSA 2000 Varna, Bulgaria, September 20–23, 2000 Proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg: Springer, 2000

    Published in: Lecture notes in computer science ; 1904

  6. Raulefs, Peter [Author]; Siekmann, Jörg H. [Author]

    Unification of idempotent functions

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Kaiserslautern: Universität Kaiserslautern, [1978] ; Karlsruhe: Universität Karlsruhe, [1978]

    Published in: Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI ; 78,1

  7. Siekmann, Dörthe [Author]; Fromme, Franz Joachim [Author] ; HYBRO Saatzucht GmbH & Co. KG

    RYE-SUS - Entwicklung von standfestem und klimaangepasstem Roggen - ein Beitrag zur nachhaltigen Getreideproduktion in marginalen Umwelten : Schlussbericht zum transnationalen Verbundforschungsprojekt RYE-SUS im Rahmen der Fördermaßnahme ERA-NET SusCrop Call1 : Laufzeit: 01.07.2019 bis 30.11.2022

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Schenkenberg]: HYBRO Saatzucht GmbH & Co. KG, 12.04.2023

  8. Carbonell, Jaime G. [Other]; Baldoni, Matteo [Other]; Riemsdijk, M. Birna [Other]; Siekmann, Jörg [Other]; Son, Tran Cao [Other]; Winikoff, Michael [Other]

    Declarative Agent Languages and Technologies VI : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Published in: Lecture notes in computer science ; 5397

  9. Carbonell, Jaime G. [Other]; David, Nuno [Other]; Geffner, Hector [Other]; Machado Alexandre, Isabel [Other]; Prada, Rui [Other]; Siekmann, Jörg [Other]

    Advances in Artificial Intelligence – IBERAMIA 2008 : 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Published in: Lecture notes in computer science ; 5290