語系
Barkatou, Moulay.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Algebraic and algorithmic aspects of differential and integral operators = 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012 : selected and invited papers /
by:
Barkatou, Moulay.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Computational complexity.
Algebra- Data processing.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Logic design.
Computer science.
Discrete Mathematics in Computer Science.
Computer software.
Differential equations, Partial.
Symbolic and Algebraic Manipulation.