Machine Learning for First-Order Theorem Proving

James P. Bridge, Sean B. Holden, Lawrence C. Paulson

Journal of Automated Reasoning · 2014 · 77 citations · 28 references

Concepts

References

28