Automating algebraic proofs in algebraic logic

Journal

Fundamenta Informaticae

Journal Volume

28

Journal Issue

1-2

Pages

129-140

Date Issued

1996

Author(s)

Hsiang, J.

Wasilewska, A.

URI

http://www.scopus.com/inward/record.url?eid=2-s2.0-0030282706&partnerID=MN8TOARS

http://scholars.lib.ntu.edu.tw/handle/123456789/323348

Type

journal article