ITA
ENG

Automated Proofs of Equality Problems in Overbeek's Competition

Authors

H.Zhang

Citation

H.zhang, Automated Proofs of Equality Problems in Overbeek's Competition, Journal of automated reasoning , 11(3), 1993, pp. 333-352

Journal title

Journal of automated reasoning → ACNP

ISSN journal

01687433

Volume

11

Issue

3

Year of publication

1993

Pages

333 - 352

Database

ACNP

SICI code