Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
hanus, michael
(8)seipel, dietmar
(3)abreu, salvador
(1)bartenstein, oskar
(1)geske, ulrich
(1)heering, jan
(1)meinke, karl
(1)rocha, ricardo
(1)rodriguez-artalejo, mario
(1)wolf, armin
(1)Verlag / Hersteller
springer berlin heidelberg
(6)springer international publishing
(3)Schlagwort
edv
(9)informatik
(9)theorie
(5)intelligenz
(4)ki
(4)künstliche intelligenz
(4)künstliche intelligenz - ai
(4)logic
(4)logic programming
(4)programmiersprachen
(4)software engineering
(4)allgemeines
(3)declarative programming
(3)logicprogramming
(3)logics and meanings of programs
(3)programmier- und skriptsprachen, allgemein
(3)programming
(3)prolog
(3)software-entw.
(3)theory of computation
(3)algebraic programming
(2)artificial intelligence
(2)compiler und übersetzer
(2)constraint
(2)constraint programming
(2)constraint solving
(2)constraintprogramming
(2)functional languages
(2)functional programming
(2)informatik, computer
(2)knowledge management
(2)mathematik
(2)optimization
(2)programming languages, compilers, interpreters
(2)semantics
(2)software engineering/programming and operating systems
(2)abstract interpretation
(1)abstractinterpretation
(1)abstrakte interpretation
(1)abstrakteinterpretation
(1)agent-based systems
(1)agent-basedsystems
(1)ai logics
(1)ailogics
(1)algebra
(1)algebraicfunctionalhigherorder logic
(1)algebraiclogicprogramming
(1)algebraisches programmieren
(1)algebraischesprogrammieren
(1)algorithmus
(1)answer set programming
(1)answer sets
(1)answersetprogramming
(1)answersets
(1)anwendungen
(1)applications
(1)artificia
(1)artificialintelligence
(1)automatic testing
(1)automatictesting
(1)betrieb, verwaltung
(1)bytecode
(1)classification
(1)communication
(1)compiler
(1)computer architecture
(1)computer programming
(1)computer science
(1)computer science logic and foundations of programming
(1)computer system imp
(1)computer system implementation
(1)computerprogrammierung und softwareentwicklung
(1)computerprogramming
(1)computing methodologies
(1)computingmethodologies
(1)conference proceedings
(1)constraint and logic languages
(1)constraint problem solving
(1)constraint processing
(1)constraint theory
(1)constraintandlogiclanguages
(1)constraintproblemsolving
(1)constraintprocessing
(1)constraints
(1)constraintsolving
(1)csp
(1)data mining
(1)data science
(1)datamining
(1)datenverarbeitung
(1)debugging
(1)decision support
(1)declarativeprogramming
(1)distributedcomputersystems
(1)distributedsystems
(1)embeddedsystems
(1)factor
(1)formallogic
(1)formalmethods
(1)function
(1)Ergebnis: 9 Artikel
Redaktion: michael hanus
