Author books / Книги автора Franz Baader Ian Horrocks Ulrike Sattler (auth.) PD Dr. Steffen Staab Professor Dr. Rudi Studer (eds » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Franz Baader Ian Horrocks Ulrike Sattler (auth.) PD Dr. Steffen Staab Professor Dr. Rudi Studer (eds » Page 2

book Handbook on Ontologies

Handbook on Ontologies

pdf

Author: Franz Baader Ian Horrocks Ulrike Sattler (auth.) PD Dr. Steffen Staab Professor Dr. Rudi Studer (eds.)
Language: English
Year: 2004

00

27.01.2024

1

0

book Mathematical Problems from Applied Logic I: Logics for the XXIst Century

Mathematical Problems from Applied Logic I: Logics for the XXIst Century

pdf

Author: Franz Baader Ralf Küsters (auth.) Dov M. Gabbay Sergei S. Goncharov Michael Zakharyaschev (eds.)
Language: English
Year: 2006

00

27.01.2024

1

0

book Term Rewriting and All That

Term Rewriting and All That

pdf

Author: Franz Baader Tobias Nipkow
Language: English
Year: 1998

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

0

0

book Term Rewriting and All That

Term Rewriting and All That

djvu

Author: Franz Baader Tobias Nipkow
Language: English
Year: 1998

00

27.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 Diego Calvanese Deborah McGuinness Daniele Nardi Peter Patel-Schneider (editors)
Language: English
Year: 2007

00

27.01.2024

0

0

book Automated deduction, CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

Automated deduction, CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

pdf

Author: Franz Baader
Language: English
Year: 2003

00

27.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 Diego Calvanese Deborah McGuinness Daniele Nardi Peter Patel-Schneider (editors)
Language: English
Year: 2007

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

0

0

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

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

pdf

Author: Franz Baader Andrei Voronkov
Language: English
Year: 2005

00

27.01.2024

0

0