Carsten Lutz – författare
Visar alla böcker från författaren Carsten Lutz. Handla med fri frakt och snabb leverans.
16 produkter
An Introduction to Description Logic
Av Franz Baader, Ian Horrocks m. fl.
Häftad, 2017
720 kr
Lägg i varukorg
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely …
An Introduction to Description Logic
Av Franz Baader, Ian Horrocks m. fl.
Inbunden, 2017
1307 kr
Lägg i varukorg
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely …
Introduction to Description Logic
Av Uli Sattler, Carsten Lutz m. fl.
E-bok, 2017
705 kr
Lägg i varukorg
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely …
Introduction to Description Logic
Av Uli Sattler, Carsten Lutz m. fl.
E-bok, 2017
705 kr
Lägg i varukorg
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely …
Description Logic, Theory Combination, and All That
Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Av Carsten Lutz, Uli Sattler m. fl.
Häftad, 2019
548 kr
Lägg i varukorg
This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, …
Description Logic, Theory Combination, and All That
Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Av Frank Wolter, Anni-Yasmin Turhan m. fl.
E-bok, 2019
718 kr
Lägg i varukorg
This Festschrift has been put together on the occasion of Franz Baader''s 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, …
Automated Reasoning
13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I
Av Armin Biere, Carsten Lutz m. fl.
Häftad, 2026
453 kr
Lägg i varukorg
This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026.The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 …
Automated Reasoning
13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II
Av Armin Biere, Carsten Lutz m. fl.
Häftad, 2026
453 kr
Lägg i varukorg
This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026.The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 …
KI 2014: Advances in Artificial Intelligence
37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings
Av Carsten Lutz, Michael Thielscher
Häftad, 2014
564 kr
Lägg i varukorg
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 …
KI 2014: Advances in Artificial Intelligence
37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings
Av Michael Thielscher, Carsten Lutz
E-bok, 2014
755 kr
Lägg i varukorg
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 …
Frontiers of Combining Systems
10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Av Carsten Lutz, Silvio Ranise
Häftad, 2015
564 kr
Lägg i varukorg
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 …
Frontiers of Combining Systems
10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Av Silvio Ranise, Carsten Lutz
E-bok, 2015
755 kr
Lägg i varukorg
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 …
Logics in Artificial Intelligence
11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
Av Steffen Hölldobler, Carsten Lutz m. fl.
Häftad, 2008
564 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected …
Logics in Artificial Intelligence
11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
Av Heinrich Wansing, Carsten Lutz m. fl.
E-bok, 2008
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected …
Prädikatsexamen
Der selbstständige Weg zum erfolgreichen Examen
Av Matthias Wiedenfels, Carsten Lutz m. fl.
E-bok, 2020
270 kr
Lägg i varukorg
Die fünfte Auflage des Werkes berücksichtigt die infolge der Reformen der Juristenausbildung weiter gestiegenen Anforderungen. Die Empfehlungen wurden zum einen aufgrund der im ständigen Dialog mit den Lesern gewonnenen praktischen Hinweise überarbeitet. Zum anderen fließen die langjährigen …
Prädikatsexamen
Der selbstständige Weg zum erfolgreichen Examen
Av Matthias Wiedenfels, Carsten Lutz m. fl.
E-bok, 2025
325 kr
Lägg i varukorg
Die 6. Auflage des Werkes berücksichtigt die infolge der Reformen der Juristenausbildung weiter gestiegenen Anforderungen. Die Empfehlungen wurden zum einen aufgrund der im ständigen Dialog mit den Leser:innen gewonnenen praktischen Hinweise überarbeitet. Zum anderen fließen die langjährigen …
