Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
pearce, david
(7)
barais, olivier
(1)combemale, benoit
(1)erdem, esra
(1)lee, joohyung
(1)lewis-williams, david
(1)lierler, yuliya
(1)macnish, craig
(1)moniz pereira, luis
(1)vinju, jurgen
(1)wagner, gerd
(1)wansing, heinrich
(1)Schlagwort
edv
(5)informatik
(5)artificial intelligence
(4)intelligenz
(3)ki
(3)künstliche intelligenz
(3)künstliche intelligenz - ai
(3)logic
(3)logics and meanings of programs
(3)mathematical logic and formal languages
(3)mathematical logic and foundations
(3)programming
(3)artificialintelligence
(2)automat
(2)general
(2)intelligence
(2)knowledge
(2)nonmonotonic reasoning
(2)nonmonotonicreasoning
(2)programmiersprachen
(2)theory of computation
(2)ancient
(1)antiquities & archaeology
(1)approximate uniqueness
(1)approximateuniqueness
(1)artificialautomat
(1)attribute grammars
(1)attributegrammars
(1)automated reasoning
(1)automated theorem proving
(1)automatedreasoning
(1)automatedtheoremproving
(1)civilization
(1)context-free grammars
(1)context-freegrammars
(1)detective
(1)domain-specific language
(1)domain-specificlanguage
(1)fiction
(1)fiction - mystery
(1)history
(1)infon logic
(1)infonlogic
(1)inte
(1)knowledge representation
(1)knowledge-based system
(1)knowledge-based systems
(1)knowledge-basedsystem
(1)knowledge-basedsystems
(1)knowledgerepresentation
(1)krimis
(1)künstliche intelligen
(1)languages analysis
(1)languagesanalysis
(1)logic programming
(1)logicprogramming
(1)logik
(1)mathematical logic and
(1)metamodeling
(1)modal logic
(1)modal sytems
(1)modale systeme
(1)modalesysteme
(1)modallogic
(1)modalsytems
(1)model checking
(1)model transformation
(1)model-driven engineering
(1)model-drivenengineering
(1)modelchecking
(1)modeltransformation
(1)mystery & detective
(1)nichtmonotone logiken
(1)nichtmonotonelogiken
(1)non-monotonic reasoning
(1)non-monotonicreasoning
(1)nonmonotonic logics
(1)nonmonotoniclogics
(1)object constraint language
(1)objectconstraintlanguage
(1)ontology
(1)parsing
(1)philosophie
(1)production rules
(1)productionrules
(1)programming languages, compilers, interpreters
(1)programming techniques
(1)proof theory
(1)prooftheory
(1)proving
(1)reasoning
(1)religion
(1)religion - church history
(1)semantics
(1)software development
(1)software engineering
(1)software-entw.
(1)softwaredevelopment
(1)spionage
(1)supervised learning
(1)Ergebnis: 7 Artikel
Autor: pearce, david
