The following pages link to (Q3773394):
Displaying 5 items.
- An extension of the Boyer-Moore theorem prover to support first-order quantification (Q688572) (← links)
- An experiment with the Boyer-Moore theorem prover: A proof of Wilson's theorem (Q1819945) (← links)
- Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem (Q1915139) (← links)
- Logical Formalisation and Analysis of the Mifare Classic Card in PVS (Q3087992) (← links)
- (Q4012877) (← links)