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

Search this journals

Search journals, articles...

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

Skip to main content

The European Journal on Artificial Intelligence

Impact Factor: 1.0 / 5-Year Impact Factor: 1.2

Journal Homepage Submission Guidelines

Restricted access

Other

First published online 2002

The impact of CASC in the development of automated deduction systems

Volume 15, Issue 2-3

https://doi.org/10.3233/EAI-2002-257

Abstract

Keywords

Automated deduction automated theorem proving first‐order logic equational reasoning

Get full access to this article

View all access options for this article.

Browse journal

Current issue OnlineFirst All issues

Similar articles

Retricted access

The impact of CASC in the development of automated deduction systems

Retricted access

Automated Deduction Techniques for Studying Rough Algebras

Retricted access

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

Retricted access

The CADE-27 Automated theorem proving System Competition – CASC-27