Editorial: The integration of automated reasoning and computer algebra systems

S Linton, R Sebastiani

Research output: Contribution to journalEditorialpeer-review

Original languageEnglish
Pages (from-to)239-239
Number of pages1
JournalJournal of Symbolic Computation
Volume34
DOIs
Publication statusPublished - Oct 2002

Cite this