Integrating Maple and PVS. Theorem Proving in Higher Order Logics (TPHOLS) 2001, Edinburgh, 3rd September 2001

Activity: Talk or presentation typesInvited talk

Period2001 → …
Event titleIntegrating Maple and PVS. Theorem Proving in Higher Order Logics (TPHOLS) 2001, Edinburgh, 3rd September 2001
Event typeOther
Sponsor