Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
hinze, ralf
(1)jansen, david n.
(1)kanazawa, makoto
(1)kracht, marcus
(1)prabhakar, pavithra
(1)seki, hiroyuki
(1)Schlagwort
edv
(3)informatik
(3)informatik, computer
(2)logics and meanings of programs
(2)mathematical logic and formal languages
(2)mathematik
(2)software engineering
(2)theoretische informatik
(2)theory of computation
(2)algorithm analysis and problem complexity
(1)algorithmen und datenstrukturen
(1)algorithmus
(1)artificial intelligence
(1)artificialintelligence
(1)automated testing
(1)automatedtesting
(1)compiler
(1)computational linguistics
(1)computationallinguistics
(1)computerprogrammierung und softwareentwicklung
(1)context-free grammars
(1)context-freegrammars
(1)data parallelism
(1)dataparallelism
(1)epistemic logic
(1)epistemiclogic
(1)formal langua
(1)formal language theory
(1)formallanguagetheory
(1)information systems applications (incl. internet)
(1)intelligenz
(1)java
(1)ki
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)logi
(1)mathematical logic a
(1)mathematical logic and foundations
(1)mathematics of computing
(1)matrix algebra
(1)matrixalgebra
(1)model checking
(1)modelchec
(1)natural language processing
(1)naturallanguageprocessing
(1)problem solving
(1)programming languages, compilers, interpreters
(1)programming techniques
(1)roboter - robotik - industrieroboter
(1)robots
(1)search-based software engineering
(1)search-basedsoftwareengineering
(1)semantics
(1)software-entw.
(1)specifications
(1)symbolic and algebraic manipulation
(1)temporal logic
(1)theorie
(1)timed automata
(1)translation (languages)
(1)Ergebnis: 3 Artikel
Thema: logics an
