You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (237)

Journals (0)

1-10 of 237 results for CADE

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Fatal cade oil poisoning: Three Cases

Retricted access

Case report

First published 2026-3

Fatal cade oil poisoning: Three Cases

Mohammed Ouali, Azeddine Essadi, Badreddine Zarhouni [...]

Medico-Legal Journal

Select article: The CADE‐19 ATP System Competition

Retricted access

Research article

First published 2004-8

The CADE‐19 ATP System Competition

Geoff Sutcliffe, Christian Suttner

The European Journal on Artificial Intelligence

Select article: The CADE-20 Automated Theorem Proving Competition

Retricted access

Research article

First published 2006-5

The CADE-20 Automated Theorem Proving Competition

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Select article: The CADE-21 automated theorem proving system competition

Retricted access

Research article

First published 2008-2

The CADE-21 automated theorem proving system competition

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Select article: Performance Evaluation of Image Processing Algorithms in CADe

Free access

Research article

First published 2005-4

Performance Evaluation of Image Processing Algorithms in CADe

Michael A. Wirth

Technology in Cancer Research & Treatment

Select article: The CADE-25 Automated Theorem Proving system competition – CASC-25

Retricted access

Research article

First published 2016-4-26

The CADE-25 Automated Theorem Proving system competition – CASC-25

Geoff Sutcliffe, Josef Urban

The European Journal on Artificial Intelligence

Select article: The CADE-24 automated theorem proving system competition – CASC-24

Retricted access

Research article

First published 2014-11

The CADE-24 automated theorem proving system competition – CASC-24

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Select article: The CADE-29 Automated Theorem Proving System Competition – CASC-29

Retricted access

Research article

First published 2024-9-18

The CADE-29 Automated Theorem Proving System Competition – CASC-29

Geoff Sutcliffe, Martin Desharnais

The European Journal on Artificial Intelligence

Select article: The CADE-26 automated theorem proving system competition – CASC-26

Retricted access

Research article

First published 2017-12-1

The CADE-26 automated theorem proving system competition – CASC-26

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Select article: The CADE-28 Automated Theorem Proving System Competition – CASC-28

Retricted access

Research article

First published 2022-3-18

The CADE-28 Automated Theorem Proving System Competition – CASC-28

Geoff Sutcliffe, Martin Desharnais

The European Journal on Artificial Intelligence

1
2
3
•••
24
10 / page

Article type

Publication date

Subjects

Access