Special issue on symbolic computation in software science Foreword
Artikel i övriga tidskrifter, 2015

Författare

A. Bouhoula

Ecole Superieure des Communications de Tunis

B. Buchberger

Johannes Kepler Universität Linz (JKU)

Laura Kovacs

Chalmers, Data- och informationsteknik, Programvaruteknik

T. Kutsia

Johannes Kepler Universität Linz (JKU)

Journal of Symbolic Computation

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

Vol. 69 1 1-2

Ämneskategorier

Data- och informationsvetenskap

DOI

10.1016/j.jsc.2014.09.027