Franz Baader – författare
Visar alla böcker från författaren Franz Baader. Handla med fri frakt och snabb leverans.
21 produkter
Term Rewriting and All That
Av Franz Baader, Tobias Nipkow
Häftad, 1999
955 kr
Lägg i varukorg
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, …
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 …
The Description Logic Handbook
Theory, Implementation and Applications
Av Franz Baader, Diego Calvanese m. fl.
Häftad, 2010
1140 kr
Lägg i varukorg
Description logics are embodied in several knowledge-based systems and are used to develop various real-life applications. Now in paperback, The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and …
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 …
Term Rewriting and All That
Av Tobias Nipkow, Franz Baader
E-bok, 1999
940 kr
Lägg i varukorg
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, …
Term Rewriting and All That
Av Tobias Nipkow, Franz Baader
E-bok, 1999
920 kr
Lägg i varukorg
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, …
Logic for Programming, Artificial Intelligence, and Reasoning
11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
Av Franz Baader, Andrei Voronkov
Häftad, 2005
1122 kr
Lägg i varukorg
This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR), held from March 14 to 18, 2005, in Montevideo, Uruguay, together with the 5th - ternational Workshop on the Implementation of Logics (organized by …
Logic for Programming, Artificial Intelligence, and Reasoning
11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
Av Andrei Voronkov, Franz Baader
E-bok, 2005
1470 kr
Lägg i varukorg
Automated Deduction - CADE-19
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Av Franz Baader
Häftad, 2003
564 kr
Lägg i varukorg
This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July–2 August 2003 in Miami Beach, Florida, USA. They are divided into the following categories: – 4 contributions by invited speakers: one full paper and three short abstracts; – …
KI 2001: Advances in Artificial Intelligence
Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings
Av Franz Baader, Gerhard Brewka m. fl.
Häftad, 2001
566 kr
Lägg i varukorg
This volume contains the contributions to the Joint German/Austrian Con- rence on Arti?cial Intelligence, KI 2001, which comprises the 24th German and the 9th Austrian Conference on Arti?cial Intelligence. They are divided into the following categories: – 2 contributions by invited speakers of the …
Automated Deduction - CADE-19
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Av Franz Baader
E-bok, 2003
734 kr
Lägg i varukorg
This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July–2 August 2003 in Miami Beach, Florida, USA. They are divided into the following categories: – 4 contributions by invited speakers: one full paper and three short abstracts; – …
KI 2001: Advances in Artificial Intelligence
Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings
Av Thomas Eiter, Gerhard Brewka m. fl.
E-bok, 2003
755 kr
Lägg i varukorg
This volume contains the contributions to the Joint German/Austrian Con- rence on Arti?cial Intelligence, KI 2001, which comprises the 24th German and the 9th Austrian Conference on Arti?cial Intelligence. They are divided into the following categories: – 2 contributions by invited speakers of the …
Term Rewriting and Applications
18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
Av Franz Baader
Häftad, 2007
564 kr
Lägg i varukorg
The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field. This volume presents the proceedings from that meeting. Papers cover current research on all …
Term Rewriting and Applications
18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
Av Franz Baader
E-bok, 2007
755 kr
Lägg i varukorg
Philosophische Schriften
Band 4
Av Johann Caspar Bluntschli, Franz Hoffmann m. fl.
Häftad, 2016
555 kr
Lägg i varukorg
Franz von Baaders sämtliche Werke
Systematisch geordnet
Av Franz Baader
Häftad, 2017
585 kr
Lägg i varukorg
