Special issue on symbolic computation in software science Foreword
Artikel i övrig tidskrift, 2015
Författare
A. Bouhoula
Ecole Superieure des Communications de Tunis
B. Buchberger
Johannes Kepler Universitat Linz
Laura Kovacs
Chalmers, Data- och informationsteknik, Programvaruteknik
T. Kutsia
Johannes Kepler Universitat Linz
Journal of Symbolic Computation
0747-7171 (ISSN) 1095-855X (eISSN)
Vol. 69 1 1-2Ämneskategorier (SSIF 2011)
Data- och informationsvetenskap
DOI
10.1016/j.jsc.2014.09.027