Zum Inhalt springen

  2. Siekmann, Jörg [Sonstige Person, Familie und Körperschaft] ; GWAI 5 1981 Honnef

    German Workshop on Artificial Intelligence / 5, Bad Honnef, January 26 - 31, 1981

    Bücher
    Schließen

    Merkliste

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

    1981

    Erschienen in: German Workshop on Artificial Intelligence ; 5 - Gesellschaft für Informatik: Fachtagung Künstliche Intelligenz der Gesellschaft für Informatik ; 1981,1 - Informatik-Fachberichte ; 47

  3. Zhang, Zili [HerausgeberIn]; Siekmann, Jörg [Sonstige Person, Familie und Körperschaft] ; KSEM 2 2007 Melbourne

    Knowledge science, engineering and management : second international conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007 ; proceedings

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4798

  4. Rutkowski, Leszek [HerausgeberIn]; Siekmann, Jörg [Sonstige Person, Familie und Körperschaft] ; Polskie Towarzystwo Sieci Neuronowych, ICAISC 7 2004 Zakopane, ICAISC 7 2004 Zakopane

    Artificial intelligence and soft computing : ICAISC 2004, 7th international conference, Zakopane, Poland, June 7 - 11, 2004 ; proceedings

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 3070

  5. Siekmann, Jörg H. [HerausgeberIn]

    Automation of reasoning

    Bücher
    Schließen

    Merkliste

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

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

    Erschienen in: Symbolic computation

  7. Lu, Rugian [Sonstige Person, Familie und Körperschaft]; Siekmann, Jörg H. [Sonstige Person, Familie und Körperschaft]; Ullrich, Carsten [Sonstige Person, Familie und Körperschaft]; Lu, Ruqian [HerausgeberIn] ; Joint Chinese German Workshop on Cognitive Systems 2005 Schanghai

    Cognitive systems : joint Chinese-German workshop, Shanghai, China, March 7 - 11, 2005 ; revised selected papers

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4429

  8. Siekmann, Jörg [VerfasserIn] ; Jörg Siekmann [MitwirkendeR]

    Proof Presentation

    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.

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

  12. Kohlhase, Michael [VerfasserIn] ; Siekmann, Jörg [AkademischeR BetreuerIn]

    A mechanization of sorted higher-order logic based on the resolution principle

    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.

    Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2007

  13. Hahn, Christian Steven [VerfasserIn] ; Siekmann, Jörg [MitwirkendeR]

    A platform-independent domain-specific modeling language for multiagent systems ; Eine plattformunabhängige, domänenspezifische Modellierungssprache für Multiagenten Systeme

    Hochschulschriften
    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.

    Scientific publications of the Saarland University (UdS), 2013

  14. Libbrecht, Paul [VerfasserIn] ; Siekmann, Jörg [MitwirkendeR]

    Authoring of semantic mathematical content for learning on the web ; Gestaltung von semantischen mathematischen Inhalt zum webbasierten Lernen

    Hochschulschriften
    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.

    Scientific publications of the Saarland University (UdS), 2012

  18. Schairer, Axel [VerfasserIn] ; Siekmann, Jörg [MitwirkendeR]

    Transformations of specifications and proofs to support an evolutionary formal software development

    Hochschulschriften
    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.

    Scientific publications of the Saarland University (UdS), 2010-05-20

  20. Stahmer, Björn Patrick [VerfasserIn] ; Siekmann, Jörg [MitwirkendeR]

    SimMarket: Simulation des Abverkaufsverhaltens von Artikeln des Einzelhandels mit orobalbilistischen Agenten

    Hochschulschriften
    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.

    Scientific publications of the Saarland University (UdS), 2007-03-16