The following pages link to (Q3725520):
Displayed 4 items.
- Automatic inductive theorem proving using Prolog (Q1103415) (← links)
- An operational formal definition of PROLOG: A specification method and its application (Q1186100) (← links)
- Logic program synthesis from incomplete specifications (Q1322854) (← links)
- Appropriate lemmae discovery (Q1827320) (← links)