Title of article
Equational propositional logic
Author/Authors
David Gries، نويسنده , , Fred B. Schneider، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1995
Pages
8
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