IRIA 5th conference on automated deduction : July 8–11, 1980, Les Arcs, Savoie, France

作者:

Highlights:

摘要

论文关键词:

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

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