Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
arts, thomas
(1)börger, egon
(1)de lemos, rogério
(1)fribourg, laurent
(1)kleine-büning, hans
(1)lopes, antónia
(1)pena, ricardo
(1)richter, michael m.
(1)turini, franco
(1)Verlag / Hersteller
springer berlin heidelberg
(3)springer international publishing
(2)Schlagwort
programminglanguag
(5)edv
(4)informatik
(4)programmiersprachen
(3)artificialintelligence
(2)debugging
(2)formallanguages
(2)logic
(2)logik
(2)mathematik
(2)programming
(2)programming language
(2)programming languages
(2)theorie
(2)algorithmus
(1)answerset
(1)answersetprogramming
(1)applications of mathematics
(1)architectural analysis
(1)architectural design
(1)architecturalanalysis
(1)architecturaldesign
(1)architecture decision making
(1)architecture practice
(1)architecturedecisionmaking
(1)architecturepractice
(1)artificial intelligence
(1)booleanfunctions
(1)clean
(1)co
(1)compilation haskell
(1)compilationhaskell
(1)compiler
(1)computational complexity
(1)computationalcomplexity
(1)computer
(1)computer science
(1)computerprogramming
(1)computersystems
(1)dynamic reconfiguration
(1)dynamicreconfiguration
(1)extra-functional properties
(1)extra-functionalproperties
(1)formal languages
(1)formale sprachen
(1)formalesprachen
(1)formallogic
(1)functional languages
(1)functional operating systems
(1)functional programming
(1)functional theorem proving
(1)functionallanguages
(1)functionaloperatingsystems
(1)functionalprogramming
(1)functionaltheoremproving
(1)funktional
(1)grundlagen
(1)haskell
(1)inductive logic programming
(1)inductiveogramming
(1)induktives logisches programmieren
(1)induktiveslogischesprogrammieren
(1)intelligenz
(1)ki
(1)knowledge-basedsystem
(1)knowledgerepresentation
(1)komplexität
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)künstlicheintelligenz
(1)logicprogramming
(1)logicprograms
(1)mathematical logic and foundations
(1)mathematische grundlagen
(1)meta-programmieren
(1)meta-programming
(1)microservices
(1)object oriented programming
(1)objectorientedprogramming
(1)ontologies
(1)parallel programming
(1)parallelprogramming
(1)partial deduction
(1)partialdeduction
(1)partielle deduktion
(1)partiellededuktion
(1)philosophie
(1)program synthesis
(1)programmier- und skriptsprachen,
(1)programmieren (edv)
(1)programming language implementation
(1)programmtransformation
(1)programsynthesis
(1)proving
(1)semantics
(1)so
(1)software architecture
(1)software engineering
(1)software-entw.
(1)theory of computati
(1)Ergebnis: 5 Artikel
Schlagwort: programminglanguag
