An Introduction to Description LogicWydawnictwo: Cambridge University Press Data wydania: 07/04/2017 ISBN: 9781108215510 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
241.27 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
An Introduction to Description LogicWydawnictwo: Cambridge University Press Data wydania: 07/04/2017 ISBN: 9781108206068 Forma publikacji: eBook: Reflowable eTextbook (ePub)
|
241.27 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Term Rewriting and ApplicationsWydawnictwo: Springer Nature Data wydania: 14/08/2007 Wydanie: Pierwsze ISBN: 9783540734499 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
542.97 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Automated Deduction - CADE-19Wydawnictwo: Springer Nature Data wydania: 31/10/2003 Wydanie: Pierwsze ISBN: 9783540450856 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
652.67 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
KI 2001: Advances in Artificial IntelligenceWydawnictwo: Springer Nature Data wydania: 30/06/2003 Wydanie: Pierwsze ISBN: 9783540454229 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
597.83 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Term Rewriting and All ThatWydawnictwo: Cambridge University Press Data wydania: 05/08/1999 Wydanie: Pierwsze ISBN: 9781316098752 Forma publikacji: eBook: Reflowable eTextbook (ePub)
|
334.51 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ProceedingsWydawnictwo: Springer, Berlin ISBN: 9783540252368 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, ProceedingsWydawnictwo: Springer, Berlin ISBN: 9783540734475 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, ProceedingsWydawnictwo: Springer, Berlin ISBN: 9783540405597 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|