Sixth conference on automated deduction courant institute of mathematical sciences : June 7–10, 1982, New York, U.S.A.

作者:

Highlights:

摘要

论文关键词:

论文评审过程:Available online 11 February 2003.

论文官网地址:https://doi.org/10.1016/0004-3702(82)90043-1