مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Heuristics for a calculational proof

Author/Authors :

Edsger W. Dijkstra، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 1995

Pages :

From page :

141

To page :

143

Keywords :

Heuristics , Calculational proofs , Fonnal proofs , Proof design , Proof derivation , Avoiding rabbits , Fonnula manipulation

Journal title :

Information Processing Letters

Serial Year :

1995

Journal title :

Information Processing Letters

Record number :

128195

Link To Document :