scientific article; zbMATH DE number 1748489

zbMATH Open0994.68134MaRDI QIDQ4530367FDOQ4530367

A. Paccanaro, Carlos A. Mareco

Publication date: 10 October 2002

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Cited In (3)

• Guiding an automated theorem prover with neural rewriting
• Using the tree representation of terms to recognize matching with neural networks
• Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530367)