Pages that link to "Item:Q1578436"

The following pages link to Theorem proving in higher order logics. 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14--18, 2000. Proceedings (Q1578436):

Displaying 2 items.

• Applications of real number theorem proving in PVS (Q469367) (← links)
• Hidden verification for computational mathematics (Q2456559) (← links)