Languages
Barkatou, Moulay.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
Subjects
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.