wyszukanych pozycji: 6
Frontiers of Combining Systems: 10th International Symposium, Frocos 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
ISBN: 9783319242453 / Angielski / Miękka / 2015 / 357 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one... This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, ... |
|
cena:
195,42 zł |
KI 2014: Advances in Artificial Intelligence: 37th Annual German Conference on Ai, Stuttgart, Germany, September 22-26, 2014, Proceedings
ISBN: 9783319112053 / Angielski / Miękka / 2014 / 321 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 37th Annual German Conference on Artificial Intelligence, KI 2014, held in Stuttgart, Germany, in September 2014. The 24 revised full papers presented together with 7 short papers were carefully reviewed and selected from 62 submissions. The papers are organized in thematic topics on cognitive modeling, computer vision, constraint satisfaction, search, and optimization, knowledge representation and reasoning, machine learning and data mining, planning and scheduling. This book constitutes the refereed proceedings of the 37th Annual German Conference on Artificial Intelligence, KI 2014, held in Stuttgart, Germany... |
|
cena:
195,42 zł |
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
ISBN: 9783030221010 / Angielski / Miękka / 2019 / 662 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
195,42 zł |
An Introduction to Description Logic
ISBN: 9780521873611 / Angielski / Twarda / 2017 / 262 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.
The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.
|
|
cena:
358,21 zł |
Pradikatsexamen: Der Selbststandige Weg Zum Erfolgreichen Examen
ISBN: 9783848764938 / Niemiecki / Miękka / 2020 / 227 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
118,99 zł |
An Introduction to Description Logic
ISBN: 9780521695428 / Angielski / Miękka / 2017 / 260 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.
The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.
|
|
cena:
180,78 zł |