Author books / Книги автора Wolfgang Bibel,Steffen Hölldobler,Gerd Neugebauer » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Wolfgang Bibel,Steffen Hölldobler,Gerd Neugebauer

book Deduktion: Automatisierung der Logik

Deduktion: Automatisierung der Logik

pdf

Author: Wolfgang Bibel, Steffen Hölldobler, Gerd Neugebauer
Language: German
Year: 2020

00

01.03.2024

0

0

book Foundations of Equational Logic Programming

Foundations of Equational Logic Programming

djvu

Author: Steffen Hölldobler (eds.)
Language: English
Year: 1989

00

08.02.2024

0

0

book KI 2015: Advances in Artificial Intelligence: 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings

KI 2015: Advances in Artificial Intelligence: 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings

pdf

Author: Steffen Hölldobler Markus Krötzsch Rafael Peñaloza Sebastian Rudolph (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

book Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

pdf

Author: Sergei Artemov (auth.) Steffen Hölldobler Carsten Lutz Heinrich Wansing (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Intellectics and computational logic: papers in honor of Wolfgang Bibel

Intellectics and computational logic: papers in honor of Wolfgang Bibel

djvu

Author: Steffen Hölldobler (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Artificial Neural Networks – ICANN 2006: 16th International Conference, Athens, Greece, September 10-14, 2006. Proceedings, Part II

Artificial Neural Networks – ICANN 2006: 16th International Conference, Athens, Greece, September 10-14, 2006. Proceedings, Part II

pdf

Author: Sebastian Bader Steffen Hölldobler (auth.) Stefanos Kollias Andreas Stafylopatis Włodzisław Duch Erkki Oja (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17–19, 1996 Proceedings

KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17–19, 1996 Proceedings

pdf

Author: Sven-Erik Bornscheuer (auth.) Günther Görz Steffen Hölldobler (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel

Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel

pdf

Author: Steffen Hölldobler (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Ausgezeichnete Informatikdissertationen 1999

Ausgezeichnete Informatikdissertationen 1999

pdf

Author: Georg Bareth (auth.) Herbert Fiedler Oliver Günther Werner Grass Steffen Hölldobler Günter Hotz Rüdiger Reischuk Bernhard Seeger Dorothea Wagner (eds.)
Language: German
Year: 2000

00

27.01.2024

0

0

book Foundations of Equational Logic Programming

Foundations of Equational Logic Programming

djvu

Author: Steffen Hölldobler (eds.)
Language: English
Year: 1989

00

27.01.2024

0

0