Automated Reasoning, Fast and Slow

DOI10.1007/978-3-642-38574-2_10zbMath1381.68276OpenAlexW197752283MaRDI QIDQ4928435

Natarajan Shankar

Publication date: 14 June 2013

Published in: Automated Deduction – CADE-24 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38574-2_10

Mathematics Subject Classification ID

Related Items (2)

Automated Reasoning in the Wild ⋮ CoProver: a recommender system for proof construction

This page was built for publication: Automated Reasoning, Fast and Slow