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

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

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

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

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

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
Dietrich, Dominik [Author] ; Siekmann, Jörg [Degree supervisor]

Assertion level proof planning with compiled strategies

View online
Schließen

Access

https://d-nb.info/1052550150/34

kostenfrei

Show more show less

Close

Bookmarks

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

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2012
Libbrecht, Paul [Author] ; Siekmann, Jörg [Degree supervisor]

Authoring of semantic mathematical content for learning on the web

View online
Schließen

Access

https://d-nb.info/1052549985/34

kostenfrei

Show more show less

Close

Bookmarks

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

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2012
Wagner, Marc [Author] ; Siekmann, Jörg [Degree supervisor]

A change-oriented architecture for mathematical authoring assistance

View online
Schließen

Access

https://d-nb.info/1051091780/34

kostenfrei

Show more show less

Close

Bookmarks

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

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011
Kohlhase, Michael [Author] ; Siekmann, Jörg [Degree supervisor]

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

View online
Schließen

Access

https://d-nb.info/1049538501/34

kostenfrei

Show more show less

Close

Bookmarks

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

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2007
Siekmann, Jörg [Author] ; Jörg Siekmann [Contributor]

Proof Presentation

View online
Schließen

Access

Full access (via DOI)

Show more show less

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

http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-50706

Show more show less

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

http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-49185

Show more show less

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

http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-49322

Show more show less

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

http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-39293

Show more show less

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

http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-31500

Show more show less

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

http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-6659

Show more show less

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

http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-13173

Show more show less

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

http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-8558

Show more show less

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

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