Author books / Книги автора Franz Baader » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Franz Baader

book Fermenta cognitionis, Heft 1.

Fermenta cognitionis, Heft 1.

pdf

Author: Franz Baader
Language: German
Year: 1822

00

01.03.2024

0

0

book Über die Einführung der Kunststrassen (Eisenbahnen) in Deutschland aus einem Sendschreiben an Herrn Director von Widmanstätten in Wien

Über die Einführung der Kunststrassen (Eisenbahnen) in Deutschland aus einem Sendschreiben an Herrn Director von Widmanstätten in Wien

pdf

Author: Franz Baader
Language: German
Year: 1836

00

13.02.2024

0

0

book An Introduction to Description Logic

An Introduction to Description Logic

pdf

Author: Franz Baader Ian Horrocks Carsten Lutz Uli Sattler
Language: English
Year: 2017

00

06.02.2024

1

0

book An Introduction to Description Logic

An Introduction to Description Logic

pdf

Author: Franz Baader Ian Horrocks Carsten Lutz Uli Sattler
Language: English
Year: 2017

00

31.01.2024

0

0

book The Description Logic Handbook Theory, Implementation and Applications

The Description Logic Handbook Theory, Implementation and Applications

pdf

Author: Franz Baader
Language: English
Year: 2010

00

27.01.2024

0

0

book Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

pdf

Author: Franz Baader (auth.) Sergio Tessaris Enrico Franconi Thomas Eiter Claudio Gutierrez Siegfried Handschuh Marie-Christine Rousset Renate A. Schmidt (eds.)
Language: English
Year: 2009

00

27.01.2024

1

0

book Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

pdf

Author: Franz Baader Barış Sertkaya (auth.) Sébastien Ferré Sebastian Rudolph (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

pdf

Author: Franz Baader Ulrike Sattler (auth.) Roy Dyckhoff (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

pdf

Author: Matthias Baaz Alexander Leitsch (auth.) Franz Baader Andrei Voronkov (eds.)
Language: English
Year: 2005

00

27.01.2024

2

0

book Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

pdf

Author: Xavier Leroy (auth.) Franz Baader (eds.)
Language: English
Year: 2007

00

27.01.2024

0

0