Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
edv
(2)informatik
(2)logic programming
(2)program semantics
(2)program synthesis
(2)program transformation
(2)theorie
(2)algorithms
(1)allgemeines
(1)answer set programming
(1)answersetprogramming
(1)complexity
(1)constraint logic programming
(1)constraintlogicprogramming
(1)declarative debugging
(1)declarativedebugging
(1)formal methods
(1)formal semantics
(1)formalmethods
(1)formalsemantics
(1)horn clauses
(1)horn-klauseln
(1)hornclauses
(1)intelligenz
(1)ki
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)la
(1)languages
(1)logic
(1)logik
(1)logisches programmieren
(1)logischesprogrammieren
(1)mathematik
(1)ogramming
(1)operational semantics
(1)optimization
(1)philosophie
(1)program analysis
(1)program verification
(1)programmier- und skriptsprachen, allgemein
(1)programmiersprachen
(1)programming l
(1)programmsemantik
(1)programmsynthese
(1)programsemantics
(1)programsynthesis
(1)programtransformation
(1)proving
(1)se
(1)software engineering
(1)software-entw.
(1)synthese
(1)theorem proving
(1)transformation (mathematisch)
(1)Ergebnis: 2 Artikel
Autor: Proietti, Maurizio
