Pages that link to "Item:Q4603427"

The following pages link to Logic + control: On program construction and verification (Q4603427):

Displaying 4 items.

• Backjumping is Exception Handling (Q4957217) (← links)
• The Prolog Debugger and Declarative Programming (Q5097636) (← links)
• On Correctness and Completeness of an <i>n</i> Queens Program (Q6063871) (← links)
• A relaxed condition for avoiding the occur-check (Q6076347) (← links)