The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Franz Baader Jan Hladik Carsten Lutz (auth.) Moshe Y. Vardi Andrei Voronkov (eds.) » Page 3
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings
pdf
Author:
Franz Baader Jan Hladik Carsten Lutz (auth.) Moshe Y. Vardi Andrei Voronkov (eds.)
Language:
English
Year:
2003
0
0
27.01.2024
0
0
Read online
KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI Vienna, Austria, September 19–21, 2001 Proceedings
pdf
Author:
Michael Kearns (auth.) Franz Baader Gerhard Brewka Thomas Eiter (eds.)
Language:
English
Year:
2001
0
0
27.01.2024
0
0
Read online
Automated Deduction – CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings
pdf
Author:
Edmund M. Clarke (auth.) Franz Baader (eds.)
Language:
English
Year:
2003
0
0
27.01.2024
0
0
Read online
The Description Logic Handbook
pdf
Author:
Franz Baader Diego Calvanese Deborah McGuinness Daniele Nardi Peter Patel-Schneider
Language:
English
Year:
2003
0
0
27.01.2024
0
0
Read online
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
0
0
26.01.2024
0
0
Read online
Term rewriting and all that
djvu
Author:
Franz Baader Tobias Nipkow
Language:
English
Year:
1998
0
0
26.01.2024
0
0
Read online
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
0
0
26.01.2024
0
0
Read online
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
0
0
26.01.2024
0
0
Read online
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:
2003
0
0
26.01.2024
1
0
Read online
1
2
3
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через