Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- source-to-source transformation 5 Treffer
- confluence 4 Treffer
- program transformation 4 Treffer
- argument generation 2 Treffer
- argumentation schemes 2 Treffer
-
38 weitere Werte:
- invariants 2 Treffer
- logic programming 2 Treffer
- operational semantics 2 Treffer
- rule-based systems 2 Treffer
- animation 1 Treffer
- answer set programming 1 Treffer
- c++ 1 Treffer
- category theory 1 Treffer
- chr 1 Treffer
- compiler 1 Treffer
- complexity analysis 1 Treffer
- confluence modulo equivalence 1 Treffer
- constraint logic programming 1 Treffer
- constraint reasoning 1 Treffer
- constraint solving 1 Treffer
- constraints 1 Treffer
- data protection 1 Treffer
- declarative programming 1 Treffer
- domain specific languages 1 Treffer
- embedded domain-specific languages 1 Treffer
- execution control 1 Treffer
- exhaustive execution 1 Treffer
- google calendar 1 Treffer
- google docs 1 Treffer
- google spreadsheets 1 Treffer
- graph transformation systems 1 Treffer
- indexing 1 Treffer
- initial algebra semantics 1 Treffer
- javascript 1 Treffer
- linear logic 1 Treffer
- social responsibility 1 Treffer
- termination 1 Treffer
- termination analysis 1 Treffer
- type classes 1 Treffer
- unfolding 1 Treffer
- visual language 1 Treffer
- visualization 1 Treffer
- weak memory models 1 Treffer
Verlag
Publikation
- lecture notes in computer science 9 Treffer
- theory and practice of logic programming 5 Treffer
- ceur workshop proceedings 2 Treffer
- electronic notes in theoretical computer science 2 Treffer
- leibniz international proceedings in informatics, lipics 2 Treffer
-
16 weitere Werte:
- ppdp'07: proceedings of the 9th international acm sigplan conference on principles and practice of declarative programming 2 Treffer
- argument and computation 1 Treffer
- arxiv 1 Treffer
- computer languages, systems and structures 1 Treffer
- expert systems with applications 1 Treffer
- logic programming - 24th international conference, iclp 2008, proceedings 1 Treffer
- logic programming - 25th international conference, iclp 2009, proceedings 1 Treffer
- logic-based program synthesis and transformation - 19th international symposium, lopstr 2009, revised selected papers 1 Treffer
- logic-based program synthesis and transformation - 24th international symposium, lopstr 2014, revised selected papers 1 Treffer
- logic-based program synthesis and transformation - 25th international symposium, lopstr 2015, revised selected papers 1 Treffer
- logic-based program synthesis and transformation - 28th international symposium, lopstr 2018 1 Treffer
- openaccess series in informatics 1 Treffer
- proceedings of the acm symposium on applied computing 1 Treffer
- proceedings of the international conference on information visualisation 1 Treffer
- rules and reasoning - 7th international joint conference, ruleml+rr 2023, proceedings 1 Treffer
- rules and reasoning - second international joint conference, ruleml+rr 2018, proceedings 1 Treffer
Sprache
30 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!unknownZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff: