Søkt på: Bøker av Franz Baader
totalt 47 treff
An Introduction to Description Logic
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 …
Introduction to Description Logic
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 …
Term Rewriting and Applications
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 …
Sämmtliche Werke
Unver nderter Nachdruck der Originalausgabe von 1860.
Logic for Programming, Artificial Intelligence, and Reasoning
Baader, F: Verfassung Der Christlichen Kirche Und Der Geist
Franz von Baader's Sämmtliche Werke
Unver nderter Nachdruck der Originalausgabe von 1860.
Fermenta Cognitionis, Heft 1.
Les Enseignements Secrets de Martin?s de Pasqually
Automated Deduction - CADE-19
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 …
Sämmtliche Werke
Unver nderter Nachdruck der Originalausgabe von 1853. Der Verlag Anatiposi gibt historische B cher als Nachdruck heraus. Aufgrund ihres Alters k nnen diese B cher fehlende Seiten …
Sämmtliche Werke
Unver nderter Nachdruck der Originalausgabe von 1856.