Automated Theorem Proving:A Logical Basis

出版社

ELSEVIER NORTH-HOLLAND INC

出版时间

1978

ISBN

标注页数

405 页

PDF页数

416 页