Pages that link to "Item:Q2104525"

The following pages link to \textsf{Goéland}: a concurrent tableau-based theorem prover (system description) (Q2104525):

Displaying 2 items.

• Goeland (Q1350213) (← links)
• The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← links)