Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
abstraction
(1)ai logics
(1)ailogics
(1)artificial intelligence
(1)artificialintelligence
(1)automata
(1)automated deduction
(1)automated reasoning
(1)automated theorem proving
(1)automateddeduction
(1)automatedreasoning
(1)automatedtheoremproving
(1)description logics
(1)descriptionlogics
(1)distributed systems
(1)distributedsystems
(1)edv
(1)formal verification
(1)formalverificat
(1)informatik
(1)intelligenz
(1)ki
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)logic programming
(1)model checking
(1)resolution
(1)semantics
(1)soft
(1)software engineering
(1)verification
(1)Ergebnis: 1 Artikel
Autor: sutcliffe, geoff
