Editorial: The integration of automated reasoning and computer algebra systems

S Linton, R Sebastiani

Research output: Contribution to journal › Editorial › peer-review

Original language	English
Pages (from-to)	239-239
Number of pages	1
Journal	Journal of Symbolic Computation
Volume	34
DOIs	https://doi.org/10.1006/jsco.2002.0553
Publication status	Published - Oct 2002

Access to Document

@article{f0f961be68d0400a8656fc63157cfb49,

title = "Editorial: The integration of automated reasoning and computer algebra systems",

author = "S Linton and R Sebastiani",

year = "2002",

month = oct,

doi = "10.1006/jsco.2002.0553",

language = "English",

volume = "34",

pages = "239--239",

journal = "Journal of Symbolic Computation",

issn = "0747-7171",

publisher = "Academic Press/Elsevier ",

}

TY - JOUR

T1 - Editorial: The integration of automated reasoning and computer algebra systems

AU - Linton, S

AU - Sebastiani, R

PY - 2002/10

Y1 - 2002/10

UR - https://www.scopus.com/pages/publications/0036797221

U2 - 10.1006/jsco.2002.0553

DO - 10.1006/jsco.2002.0553

M3 - Editorial

SN - 0747-7171

VL - 34

SP - 239

EP - 239

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

ER -