Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
hanus, michael
(9)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
(2)Schlagwort
edv
(8)informatik
(8)theorie
(5)intelligenz
(4)ki
(4)künstliche intelligenz
(4)künstliche intelligenz - ai
(4)logic
(4)programmiersprachen
(4)prolog
(4)software engineering
(4)allgemeines
(3)declarative programming
(3)logic programming
(3)programmier- und skriptsprachen, allgemein
(3)programming
(3)software-entw.
(3)theory of computation
(3)algebraic programming
(2)artificial intelligence
(2)compiler und übersetzer
(2)constraint programming
(2)constraint solving
(2)functional languages
(2)functional programming
(2)informatik, computer
(2)knowledge management
(2)logicprogramming
(2)logics and meanings of programs
(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)artificia
(1)artificialintelligence
(1)automatic testing
(1)automatictesting
(1)betrieb, verwaltung
(1)bytecode
(1)classification
(1)compiler
(1)computer architecture
(1)computer programming
(1)computer system imp
(1)computer system implementation
(1)computing methodologies
(1)computingmethodologies
(1)constraint
(1)constraint and logic languages
(1)constraint problem solving
(1)constraint processing
(1)constraint theory
(1)constraintandlogiclanguages
(1)constraintproblemsolving
(1)constraintprocessing
(1)constraintprogramming
(1)constraints
(1)constraintsolving
(1)csp
(1)data mining
(1)data science
(1)datamining
(1)datenverarbeitung
(1)debugging
(1)decision support
(1)declarativeprogramming
(1)engineering (maschinenbau/ingenieurswesen), allgemein
(1)engineering, general
(1)factor
(1)functionalprogramming
(1)funktional
(1)general programming languages
(1)global constraints
(1)globalconstraints
(1)higher order logics
(1)inference algorithms
(1)inferencealgorithms
(1)java
(1)knowledge base
(1)knowledge representation and reasoning
(1)Ergebnis: 9 Artikel
Autor: Hanus, Michael
