Skip to main navigation
Skip to search
Skip to main content
University of St Andrews Research Portal Home
Help & FAQ
Home
Profiles
Research output
Datasets/Software
Research units
Projects
Activities
Impacts
Prizes
Press/Media
Student theses
Search by expertise, name or affiliation
MaplePVS - A Tutorial Introduction. Calculemus Autumn School, Pisa, 28th September 2002
Kelsey, T.
(Invited speaker)
School of Computer Science
Centre for Interdisciplinary Research in Computational Algebra
Activity
:
Talk or presentation types
›
Invited talk
Period
2002
→ …
Event title
MaplePVS - A Tutorial Introduction. Calculemus Autumn School, Pisa, 28th September 2002
Event type
Other
Sponsor
X