Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
calmet, jacques
(9)campbell, john a.
(2)aranda-corral, gonzalo a.
(1)autexier, serge
(1)benhamou, belaid
(1)caprotti, olga
(1)delahaye, david
(1)fleuriot, jacques
(1)geiselmann, willi
(1)henocque, laurent
(1)ion, p. d. f.
(1)limongelli, carla
(1)martín-mateos, francisco j.
(1)müller-quade, jörn
(1)plaza, jan
(1)rideau, laurence
(1)rioboo, renaud
(1)sexton, alan p.
(1)sorge, volker
(1)wang, dongming
(1)Verlag / Hersteller
springer berlin heidelberg
(7)springer international publishing
(2)Schlagwort
edv
(9)informatik
(9)artificial intelligence
(7)intelligenz
(7)ki
(7)künstliche intelligenz
(7)künstliche intelligenz - ai
(6)symbolic and algebraic manipulation
(5)theory of computation
(5)computer algebra
(4)theorem proving
(4)algorithms
(3)automated theorem proving
(3)computeralgebra
(3)datenverarbeitung
(3)intelligence
(3)numerical analysis
(3)symbolic computation
(3)algorithmus
(2)allgemeines
(2)anwendungen
(2)automatedtheoremproving
(2)betrieb, verwaltung
(2)combinatorics
(2)discrete mathematics
(2)knowledge
(2)künstliche intelligenz (ki)
(2)mathematical logic and formal languages
(2)mathematics of computing
(2)mathematik
(2)problem solving
(2)proving
(2)theorie
(2)adaptive algorithms
(1)adaptive algortihmen
(1)adaptivealgorithms
(1)adaptivealgortihmen
(1)ai
(1)algebra
(1)algebraic specification
(1)algebraic topology
(1)algebraicspecification
(1)algebraictopology
(1)algebraische spezifikation
(1)algebraischespezifikation
(1)algori
(1)algorith
(1)algorithmics
(1)anwendungs-software
(1)artificial intelligenc
(1)artificial intelligence in symbolic mathematical computing
(1)artificialautomatedreasoning
(1)artificialintelligence
(1)artificialintelligenceinsymbolicmathematicalcomputing
(1)autmatisches theorembeweisen
(1)autmatischestheorembeweisen
(1)automat
(1)automated discovery auto
(1)automated reasoning
(1)automateddiscoveryautomatedreasoning
(1)causalinference
(1)coding and information theory
(1)coding theory
(1)computer algebra systems and automated theorem provers
(1)computer-assisted surgery
(1)computeralgebrasystemsandautomatedtheoremprovers
(1)crowdsourcing
(1)cryptography
(1)cryptology
(1)data mining (edv)
(1)data structures and information theory
(1)database
(1)datenbank
(1)datenverschlüsselung, kryptografie
(1)deduction systems
(1)des
(1)discrete mathematics in computer science
(1)eins eins
(1)evolution
(1)evolutionary algorithm
(1)evolutionaryalgorithm
(1)extension
(1)formal deduction
(1)formal logic
(1)formal verification
(1)formalverification
(1)geometric reasoning
(1)geometry
(1)graph
(1)informatik, co
(1)informatik, computer
(1)information
(1)informationsmanagement
(1)informationssystem
(1)informationstheorie
(1)integration of logical reasoning and computer algebra
(1)integrationoflogicalreasoningandcomputeralgebra
(1)intell
(1)intelligent documents
(1)internet
(1)Ergebnis: 9 Artikel
Redaktion: jacques calmet
