Skip to contents

Siekmann, Jörg [Editor] ; KI 18 1994 Saarbrücken

Sonderheft zur 18. Deutschen Jahrestagung für Künstliche Intelligenz

Close

Bookmarks

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

Baden-Baden: FBO - Fachverl. für Büro- u. Organisationstechnik, 1994

Published in: Künstliche Intelligenz ; 8,Sonderheft
Siekmann, Jörg [Other] ; GWAI 5 1981 Honnef

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

View online
Schließen

Close

Bookmarks

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

1981

Published 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
Zhang, Zili [Editor]; Siekmann, Jörg [Other] ; KSEM 2 2007 Melbourne

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

View online
Schließen

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 4798
Rutkowski, Leszek [Editor]; Siekmann, Jörg [Other] ; 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

View online
Schließen

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 3070
Siekmann, Jörg H. [Editor]

Automation of reasoning

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
Hutter, Dieter [Editor]; Siekmann, Jörg H. [Honoree]; Stephan, Werner [Editor]; Siekmann, Jörg [Honoree]

Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

View online
Schließen

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 2605
Lu, Rugian [Other]; Siekmann, Jörg H. [Other]; Ullrich, Carsten [Other]; Lu, Ruqian [Editor] ; Joint Chinese German Workshop on Cognitive Systems 2005 Schanghai

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

View online
Schließen

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 4429
Siekmann, Jörg [Author] ; Jörg Siekmann [Contributor]

Proof Presentation

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006
Gu, Yecheng [Author] ; Siekmann, Jörg [Contributor]

Intelligent tutoring in virtual reality for highly dynamic pedestrian safety training

View online
Schließen

Links

... to thesis via Resolving system

Close

Bookmarks

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

Saarländische Universitäts- und Landesbibliothek, 2018
Hahn, Christian Steven [Author] ; Siekmann, Jörg [Contributor]

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

View online
Schließen

Links

... to thesis via Resolving system

Close

Bookmarks

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

Scientific publications of the Saarland University (UdS), 2013
Libbrecht, Paul [Author] ; Siekmann, Jörg [Contributor]

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

View online
Schließen

Links

... to thesis via Resolving system

Close

Bookmarks

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

Scientific publications of the Saarland University (UdS), 2012
Dietrich, Dominik [Author] ; Siekmann, Jörg [Contributor]

Assertion level proof planning with compiled strategies

View online
Schließen

Links

... to thesis via Resolving system

Close

Bookmarks

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

Scientific publications of the Saarland University (UdS), 2011
Wagner, Marc [Author] ; Siekmann, Jörg [Contributor]

A change-oriented architecture for mathematical authoring assistance

View online
Schließen

Links

... to thesis via Resolving system

Close

Bookmarks

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

Scientific publications of the Saarland University (UdS), 2011-06-03
Tsovaltzi, Dimitra [Author] ; Siekmann, Jörg [Contributor]

MENON : automating a Socratic teaching model for mathematical proofs

View online
Schließen

Links

... to thesis via Resolving system

Close

Bookmarks

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

Scientific publications of the Saarland University (UdS), 2010-06-09
Schairer, Axel [Author] ; Siekmann, Jörg [Contributor]

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

View online
Schließen

Links

... to thesis via Resolving system

Close

Bookmarks

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

Scientific publications of the Saarland University (UdS), 2010-05-20
Kohlhase, Michael [Author] ; Siekmann, Jörg [Contributor]

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

View online
Schließen

Links

... to thesis via Resolving system

Close

Bookmarks

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

Scientific publications of the Saarland University (UdS), 2007-10-29
Stahmer, Björn Patrick [Author] ; Siekmann, Jörg [Contributor]

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

View online
Schließen

Links

... to thesis via Resolving system

Close

Bookmarks

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

Scientific publications of the Saarland University (UdS), 2007-03-16
Schwaiger, Arndt Stephan Georg [Author] ; Siekmann, Jörg [Contributor]

Modellierung und Analyse individuellen Konsumentenverhaltens mit probabilistischen Holonen

View online
Schließen

Links

... to thesis via Resolving system

Close

Bookmarks

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

Scientific publications of the Saarland University (UdS), 2006
Gerber, Andreas [Author] ; Jörg Siekmann [Contributor]

Flexible Kooperation zwischen Autonomen Agenten in Dynamischen Umgebungen

View online
Schließen

Links

... to thesis via Resolving system

Close

Bookmarks

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

Scientific publications of the Saarland University (UdS), 2005-06-23
Rock, Georg [Author] ; Jörg Siekmann [Contributor]

Formal methods for real-time requirements engineering

View online
Schließen

Links

... to thesis via Resolving system

Close

Bookmarks

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

Scientific publications of the Saarland University (UdS), 2004-09-23

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication