Automating Algebraic Proofs in Algebraic Logic.

Journal

Fundam. Inform.

Journal Volume

28

Journal Issue

1-2

Pages

129-140

Date Issued

1996

Author(s)

Hsiang, Jieh

Wasilewska, Anita

DOI

10.3233/FI-1996-281208

URI

https://scholars.lib.ntu.edu.tw/handle/123456789/488696

URL

https://doi.org/10.3233/FI-1996-281208

Type

journal article