Work

Automated Deduction Systems for Real Mathematicians

Year: 2002

Type: article

Authors: Paul Cairns, Jeremy Gow

Language: English

Topic: Mathematics, Computing, and Information Processing

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2526874062

FWCI:

Cites: 10

Cited by:

Related to: 10