Sökt på: Sökresultat
totalt 34 träffar
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 …
Logic for Programming, Artificial Intelligence, and Reasoning
Baader, F: Verfassung Der Christlichen Kirche Und Der Geist
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 …
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 …
Baader, F: Beitrage Zur Dinamischen Philosophie
Baader, F: Leben Und Theosophische Werke V1-2, Part 2 (1886)
Baader, F: Leben Und Theosophische Werke V1-2, Part 1 (1886)
Logic for Programming, Artificial Intelligence, and Reasoning
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, …