Up a level |

Group by: Creators | Item Type

Jump to: Book Section

Number of items:

**1**.## Book Section

Adams, A.A. and Dunstan, M. and Gottliebsen, H. and Kelsey, T. and Martin, U. and Owre, S. (2001) *Computer Algebra meets Automated Theorem Proving: Integrating Maple and PVS.* In: Theorem Proving in Higher Order Logics -- 14th International Conference, TPHOLs 2001. Lecture Notes in Computer Science (2152). Springer-Verlag, Berlin, pp. 27-42. ISBN 3-540-42525-X

This list was generated on

**Thu Oct 2 02:10:26 2014 BST**.