scientific article; zbMATH DE number 1882060
From MaRDI portal
Publication:4797437
zbMath1007.68576MaRDI QIDQ4797437
Publication date: 13 March 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2174/21740320.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description) ⋮ The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 ⋮ A multi-clause dynamic deduction algorithm based on standard contradiction separation rule ⋮ Contradiction separation based dynamic multi-clause synergized automated deduction ⋮ MPTP-motivation, implementation, first experiments ⋮ Machine learning guidance for connection tableaux ⋮ Towards the automatic mathematician
Uses Software
This page was built for publication:
