Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
campbell, john a.
(10)calmet, jacques
(3)buchberger, bruno
(1)pfalzgraf, jochen
(1)reid, christian
(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)australian outback
(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)erzählende literatur
(1)fantasy
(1)general
(1)hauptwerk vor 1945
(1)history
(1)history - general history
(1)house fire
(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)murder
(1)qualitative modeling
(1)qualitatives modellieren
(1)reference
(1)regelbasiertes schließen
(1)rule-based reasoning
(1)science fiction
(1)scientific computing
(1)semantics
(1)sheep station
(1)stalker
(1)symboli
(1)symbolic mathematical computation
(1)symbolisches mathemat
(1)symbolisches mathematisches rechnen
(1)theorem proving systems
(1)variable
(1)verification
(1)west queensland
(1)wissenschaftliches re
(1)yearbooks & annuals
(1)zwei zwei
(1)Ergebnis: 10 Artikel
Autor: Campbell, John A.
