Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
artificial intelligence
(2)edv
(2)informatik
(2)künstliche intelligenz
(2)logics and meanings of programs
(2)mathematical logic and formal languages
(2)mathematical logic and foundations
(2)model checking
(2)modelchecking
(2)theory of computation
(2)automat
(1)automated deduction
(1)automated reasoning
(1)automateddeduction
(1)automatedreasoning
(1)complexity
(1)computer system implementation
(1)formal specification
(1)formalspecification
(1)intelligenz
(1)ki
(1)künstliche intelligenz (k
(1)künstliche intelligenz - ai
(1)logic
(1)logic programming
(1)logikprogrammierung
(1)ogramming
(1)programming
(1)programming techniques
(1)proving
(1)resolution
(1)rewriting systems
(1)rewritingsystems
(1)theorem proving
(1)theoremproving
(1)verification
(1)Ergebnis: 2 Artikel
Autor: mcallester, david
