Author books / Книги автора Jörg H. Siekmann (Eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Jörg H. Siekmann (Eds.)

book Computational Logic

Computational Logic

pdf

Author: Jörg H. Siekmann (Eds.)
Language: English
Year: 2014

00

29.01.2024

0

0

book Computational Logic

Computational Logic

pdf

Author: Jörg H. Siekmann (Eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Künstliche Intelligenz: Frühjahrsschule Teisendorf, 15.–24. März 1982

Künstliche Intelligenz: Frühjahrsschule Teisendorf, 15.–24. März 1982

pdf

Author: Jörg H. Siekmann (auth.) Wolfgang Bibel Jörg H. Siekmann (eds.)
Language: German
Year: 1982

00

27.01.2024

0

0

book 8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings

8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings

pdf

Author: Peter B. Andrews (auth.) Jörg H. Siekmann (eds.)
Language: English
Year: 1986

00

27.01.2024

0

0

book GWAI-81: German Workshop on Artificial Intelligence Bad Honnef, January 26–31, 1981

GWAI-81: German Workshop on Artificial Intelligence Bad Honnef, January 26–31, 1981

pdf

Author: B. Radig (auth.) Jörg H. Siekmann (eds.)
Language: English-German
Year: 1981

00

27.01.2024

0

0

book 8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings

8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings

djvu

Author: Peter B. Andrews (auth.) Jörg H. Siekmann (eds.)
Language: English
Year: 1986

00

27.01.2024

0

0