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

Title of article :

Equational propositional logic

Author/Authors :

David Gries، نويسنده , , Fred B. Schneider، نويسنده ,

Issue Information :

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

Pages :

From page :

145

To page :

152

Keywords :

Equational reasoning , Completeness , Soundness , Theorem proving , Logic

Journal title :

Information Processing Letters

Serial Year :

1995

Journal title :

Information Processing Letters

Record number :

128196

Link To Document :