Wyszukiwanie zaawansowane
Kategorie
Kategorie BISAC
Książki na zamówienie
Promocje
Granty
Książka na prezent
Opinie
Pomoc
Załóż konto
Zaloguj się
książki » Baader, Franz
zaloguj się
|
załóż konto
koszyk
konto
szukaj
topmenu
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
Wyszukiwanie zaawansowane
Pusty koszyk
Kategorie główne
•
Nauka
[2319455]
•
Literatura piękna
[1572028]
więcej...
•
Turystyka
[62661]
•
Informatyka
[128480]
•
Komiksy
[27950]
•
Encyklopedie
[21821]
•
Dziecięca
[505995]
•
Hobby
[105693]
•
AudioBooki
[2484]
•
Literatura faktu
[191624]
•
Muzyka CD
[956]
•
Słowniki
[2907]
•
Inne
[390680]
•
Kalendarze
[320]
•
Podręczniki
[158106]
•
Poradniki
[408865]
•
Religia
[439419]
•
Czasopisma
[451]
•
Sport
[54467]
•
Sztuka
[210583]
•
CD, DVD, Video
[4203]
•
Technologie
[172365]
•
Zdrowie
[90135]
•
Książkowe Klimaty
[125]
•
Zabawki
[4335]
•
Puzzle, gry
[3485]
•
Literatura w języku ukraińskim
[217]
•
Art. papiernicze i szkolne
[12143]
Kategorie szczegółowe BISAC
Baader, Franz
Franz Baader is a Professor in the Institute of Theoretical Computer Science at TU Dresden.
[ ZOBACZ WSZYSTKIE KSIĄŻKI AUTORA ]
Term Rewriting and All That
Term Rewriting and Applications: 18th International Conference, Rta 2007, Paris, France, June 26-28, 2007, Proceedings
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
The Description Logic Handbook: Theory, Implementation and Applications
Fermenta Cognitionis, Heft 1.
An Introduction to Description Logic
An Introduction to Description Logic
Franz von Baader's Sämmtliche Werke: 16. Band
Franz von Baader's Sämmtliche Werke: 16. Band
Sämmtliche Werke: Zwölfter Band
Czytaj nas na: