Account
Edit tools
Intern
SucheSearch
English

Attribut:Publisher

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Tomas Masopust (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
Tomas Masopust (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
 
Zeile 1: Zeile 1:
Dies ist eine Eigenschaft des Typs [[Datentyp::Zeichenkette]].
Dies ist eine Eigenschaft des Typs [[Datentyp::Zeichenkette]].
[[imported from::dcterms:publisher]]

Aktuelle Version vom 23. Oktober 2014, 10:32 Uhr

Dies ist eine Eigenschaft des Typs Zeichenkette.

vorherige 202050100250500nächste 20
Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
"
"Most of" leads to undecidability: Failure of adding frequencies to LTL +
Springer  +
1
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004 +
Springer  +
18th International Conference on Rewriting Techniques and Applications (RTA 2007) +
Springer  +
A
A Benchmark Framework for a Computational Argumentation Competition +
IOS Press  +
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +
ACM  +
A Brief Introduction to Formal Concept Analysis +
Chapman & Hall  +
A Categorical Characterization of Consistency Results +
Springer  +
A Chomsky-Schützenberger Theorem for Weighted Automata with Storage +
Springer  +
A Closer Look at the Semantic Relationship between Datalog and Description Logics +
IOS Press  +
A Compositional Framework for Controller Synthesis +
Springer  +
A Computational Logic Approach to the Belief Bias Effect +
AAAI Press  +
A Computational Logic Approach to the Suppression Task +
Cognitive Science Society  +
A Concept Language Extended with Different Kinds of Transitive Roles +
Springer  +
A Correspondance between Temporal Description Logics +
Linköping University  +
A Database Approach for Modeling and Querying Video Data +
IEEE Computer Society  +
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic +
Springer  +
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms +
Springer  +
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams +
Springer  +
A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions +
Aalborg University Press  +
A Description Logic Primer +
IOS Press  +
Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Attribut:Publisher&oldid=6158“