Attribut:Journal
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Zeichenkette.
A
Fundamenta Informaticae +
Journal of Applied Logic +
Journal of Electrical Engineering, Slovak Academy of Sciences +
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics +
Information and Computation +
Information Processing Letters +
J. Biomedical Semantics +
International Journal on Software Tools for Technology Transfer +
Journal of Logic and Computation +
Logical Methods in Computer Science +
IfCoLog Journal of Logics and their Applications +
J. Artif. Intell. Res. (JAIR) +
Journal of Artificial Intelligence Research +
KI - Künstliche Intelligenz +
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata +
International Journal on Software Tools for Technology Transfer (STTT) +
Algorithms for Reasoning in Very Expressive Description Logics under Infinitely Valued Gödel Semantics +
International Journal of Approximate Reasoning +
Science of Computer Programming +