 | 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 Fri May 24 02:47:15 2013 BST.
