The following pages link to Automated Deduction – CADE-20 (Q5394608):
Displaying 4 items.
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort (Q1942097) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems (Q2867939) (← links)
