Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
meyden, ron van der
(2)saake, gunter
(2)chomicki, j.
(1)chomicki, jan
(1)smaus, jan-georg
(1)van der meyden, ron
(1)Schlagwort
edv
(3)informatik
(3)verification
(3)algebra
(2)artificial intelligence
(2)automata
(2)complexity
(2)computational complexity
(2)computationalcomplexity
(2)data mining
(2)database
(2)database management
(2)databases
(2)datamining
(2)datenbanken
(2)extensible markup language (xml)
(2)extensiblemarkuplanguage(xml)
(2)information storage and retrieval
(2)logic
(2)math applications in computer science
(2)mathematical logic and formal languages
(2)modeling
(2)multi-agent system
(2)multi-agentsystem
(2)programming
(2)security
(2)xml
(2)ai logics
(1)computer aided deduction
(1)datenbank
(1)deterministic automata
(1)formal methods
(1)informatik, computer
(1)intelligenz
(1)ki
(1)kü
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)logic programming
(1)logics and meanings of programs
(1)mathematical applications in computer
(1)mathematical logic and formal langu
(1)mathematical logic and foundations
(1)mathematik
(1)programming techniques
(1)roboter - robotik - industrieroboter
(1)software engineering
(1)software-entw.
(1)temporal logic
(1)theorem proving
(1)theorie
(1)theory of computation
(1)xml - extensible markup language
(1)Ergebnis: 3 Artikel
Redaktion: ron van der meyden
