The following pages link to Paolo Pecchiari (Q1915138):
Displaying 5 items.
- (Q174776) (redirect page) (← links)
- Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem (Q1915139) (← links)
- Structured proof procedures (Q1924823) (← links)
- (Q4385442) (← links)
- Reasoning theories. Toward an architecture for open mechanized reasoning systems (Q5931115) (← links)
