Pages that link to "Item:Q1819255"

The following pages link to Theorem proving in higher order logics. 12th international conference, TPHOLs '99. Nice, France, September 14--17, 1999. Proceedings (Q1819255):

Displayed 3 items.

• SAD as a mathematical assistant -- how should we go from here to there? (Q865654) ‎ (← links)
• Supporting the formal verification of mathematical texts (Q865656) ‎ (← links)
• Local Theory Specifications in Isabelle/Isar (Q3638251) ‎ (← links)