Automated Deduction – CADE-22
Work
Year: 2009
Type: book
Author Renate A. Schmidt
Institution University of Manchester
Cites: 3
Cited by: 96
Related to: 10
FWCI: 4.766
Citation percentile (by year/subfield): 74.16
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed