Sökt på: Böcker av Franz Baader
totalt 48 träffar
Sämmtliche Werke
Unver nderter Nachdruck der Originalausgabe von 1860.
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 …
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
Logic for Programming, Artificial Intelligence, and Reasoning
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.
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 …