Attribut:Series
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Zeichenkette.
A
CEUR Workshop Proceedings +
Lecture Notes in Artificial Intelligence +
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL +
Lecture Notes in Computer Science +
Studies in Informatics +
Lecture Notes in Artificial Intelligence +
Lecture Notes in Artificial Intelligence +
CEUR Workshop Proceedings +
Lecture Notes in Computer Science +
Lecture Notes in Computer Science +
A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained +
Lecture Notes in Computer Science +
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method +
Lecture Notes in Artificial Intelligence +
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics +
Lecture Notes in Artificial Intelligence +
Lecture Notes in Artificial Intelligence +
Lecture Notes in Artificial Intelligence +
Lecture Notes in Artificial Intelligence +