[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

"Automated Deduction - CADE-14, 14th International Conference on Automated ..."

William McCune (1997)

Details and statistics

DOI: 10.1007/3-540-63104-6

access: closed

type: Editorship

metadata version: 2019-05-14