Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
algebraic specification
(1)algebraicspecification
(1)algebraische spezifikation
(1)algebraischespezifikation
(1)algorith
(1)algorithms
(1)allgemeines
(1)autmatisches theorembeweisen
(1)autmatischestheorembeweisen
(1)automated theorem proving
(1)automatedtheoremproving
(1)computer algebra
(1)computer-assisted surgery
(1)computeralgebra
(1)edv
(1)geometry
(1)informatik
(1)mathematical software systems
(1)
mathematische softwaresysteme
(1)pro
(1)software-entw.
(1)symbol - symbolik
(1)symbolic and algebraic manipulation
(1)system
(1)theorie
(1)theory of computation
(1)Ergebnis: 1 Artikel
Schlagwort: mathematische softwaresysteme
