Pages that link to "Item:Q3978317"
From MaRDI portal
The following pages link to Automated theorem proving and logic programming: a natural symbiosis (Q3978317):
Displaying 13 items.
- A case study in automated theorem proving: Finding sages in combinatory logic (Q1098333) (← links)
- Automatic inductive theorem proving using Prolog (Q1103415) (← links)
- (Q3075241) (← links)
- (Q3124717) (← links)
- Reasoning Support for Casl with Automated Theorem Proving Systems (Q3591069) (← links)
- Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques (Q3682397) (← links)
- Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity (Q3745319) (← links)
- A mechanical proof of the Church-Rosser theorem (Q3801105) (← links)
- Logic Programming with Graph Automorphism: Integrating<tt>nauty</tt>with Prolog (Tool Description) (Q4593050) (← links)
- Automated natural deduction prover and experiments (Q4610323) (← links)
- Teaching Automated Theorem Proving by Example: PyRes 1.2 (Q5048999) (← links)
- Integration of automated and interactive theorem proving in ILF (Q5234689) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
