Computer Algebra meets Automated Reasoning: Integrating Maple and PVS

A A Adams, M N Dunstan, H Gottliebsen, Thomas William Kelsey, U Martin, S Owre

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of Theorem Proving in Higher Order Logics
PublisherSpringer-Verlag
Pages27-42
Publication statusPublished - 2001

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume2152

Cite this