Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
buchberger, bruno
(8)
prinz, andreas
(2)schewe, klaus-dieter
(2)thalheim, bernhard
(2)affenzeller, michael
(1)asperti, andrea
(1)campbell, john a.
(1)davenport, james harold
(1)ferscha, alois
(1)freire, jose-luis
(1)haller, michael
(1)jebelean, tudor
(1)klement, erich peter
(1)moreno-diaz, roberto
(1)paule, peter
(1)pomberger, gustav
(1)schreiner, wolfgang
(1)stubenrauch, robert
(1)wagner, roland
(1)weiß, gerhard
(1)windsteiger, wolfgang
(1)Verlag / Hersteller
springer berlin heidelberg
(6)springer international publishing
(2)Schlagwort
edv
(8)informatik
(8)algorithms
(6)artificial intelligence
(5)automated reasoning
(5)automatedreasoning
(4)software engineering
(4)computeralgebra
(3)künstliche intelligenz
(3)mathematik
(3)theorie
(3)abstract state machines
(2)abstractstatemachines
(2)computer algebra
(2)grid computing
(2)informatik, computer
(2)information
(2)information systems applications (incl. internet)
(2)innovation
(2)intelligenz
(2)interface
(2)interfaces
(2)ki
(2)knowledge
(2)künstliche intelligenz - ai
(2)logic
(2)mathematical applications in computer science
(2)metaheuristic
(2)modeling
(2)optimization
(2)pervasive computing
(2)proof theory
(2)proving
(2)software
(2)software engineering/programming and operating systems
(2)software-entw.
(2)theorema
(2)web applications
(2)web information systems
(2)webapplications
(2)webinformationsystems
(2)1985 gdr june leipzig 1987
(1)algebra
(1)algorithmus
(1)allgemeines
(1)anwendungs-software
(1)automat
(1)automated deduction
(1)automated theorem proving
(1)automateddeduction
(1)automatedtheoremproving
(1)automation
(1)cad - computer aided design
(1)calculus
(1)complexity
(1)computational logics
(1)computational mathematics
(1)computationallogics
(1)computationalmathematics
(1)computer
(1)computer c
(1)computer communication networks
(1)computer-aided design (cad)
(1)computer-aided engineering (cad, cae) and design
(1)constraint processing
(1)constraintprocessing
(1)database
(1)datenbank
(1)digitization
(1)distributed libraries of mathematics
(1)distributedlibrariesofmathematics
(1)expert system
(1)expertsystem
(1)extensible markup language (xml)
(1)extensiblemarkuplanguage(xml)
(1)formal languages and automata theory
(1)gridcomputing
(1)informa
(1)informati
(1)intell
(1)intelligence
(1)internet
(1)k
(1)knowledge management
(1)knowledge processing
(1)knowledgemanagement
(1)la
(1)lambda calculus
(1)lambdacalculus
(1)latex
(1)management
(1)maschine
(1)mathematical knowledge management
(1)mathematical logic and formal languages
(1)mathematical logic and foundations
(1)mathml
(1)pervasivecomputing
(1)programming
(1)proof
(1)prooftheory
(1)Ergebnis: 8 Artikel
Autor: buchberger, bruno
