Special issue on symbolic computation in software science Foreword
Magazine article, 2015

Author

A. Bouhoula

Ecole Superieure des Communications de Tunis

B. Buchberger

Johannes Kepler University of Linz (JKU)

Laura Kovacs

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

T. Kutsia

Johannes Kepler University of Linz (JKU)

Journal of Symbolic Computation

0747-7171 (ISSN) 1095-855X (eISSN)

Vol. 69 1 1-2

Subject Categories

Computer and Information Science

DOI

10.1016/j.jsc.2014.09.027

More information

Latest update

3/29/2018