Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
campbell, john a.
(5)calmet, jacques
(3)buchberger, bruno
(1)pfalzgraf, jochen
(1)roanes-lozano, eugenio
(1)Schlagwort
artificial intelligence
(5)edv
(5)informatik
(5)intelligence
(5)intelligenz
(5)ki
(5)künstliche intelligenz
(5)künstliche intelligenz - ai
(5)symbolic and algebraic manipulation
(4)algorithms
(3)computeralgebra
(3)proving
(3)theorem proving
(3)theory of computation
(3)automat
(2)automated deduction
(2)automateddeduction
(2)combinatorics
(2)computer algebra
(2)discrete mathematics
(2)expert system
(2)expertsystem
(2)künstliche intelligenz (ki)
(2)mathematical logic and formal languages
(2)numerical analysis
(2)symbol
(2)symbolic computation
(2)theoremproving
(2)adaptive algorithms
(1)adaptive algortihmen
(1)adaptivealgorithms
(1)adaptivealgortihmen
(1)ai
(1)applied dynamical system
(1)artificialautomat
(1)artificialautomatedtheoremproving
(1)automated reasoning
(1)automated theorem proving
(1)automatedreasoning
(1)complexity
(1)computational geometry
(1)computational logics
(1)computational mathematics
(1)computationalgeometry
(1)computationallogics
(1)computationalmathematics
(1)constraint processing
(1)constraintprocessing
(1)eins eins
(1)intell
(1)kombinatorik
(1)learning
(1)machine learning
(1)machinelearning
(1)mathematical logic and foundat
(1)mathematical logic and foundations
(1)modeling
(1)multi-agent system
(1)multi-agentsystem
(1)qualitative modeling
(1)qualitatives modellieren
(1)regelbasiertes schließen
(1)rule-based reasoning
(1)scientific computing
(1)semantics
(1)symboli
(1)symbolic mathematical computation
(1)symbolisches mathemat
(1)symbolisches mathematisches rechnen
(1)theorem proving systems
(1)variable
(1)verification
(1)wissenschaftliches re
(1)zwei zwei
(1)Ergebnis: 5 Artikel
Redaktion: john a. campbell
