Automated reasoning. Third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17--20, 2006. Proceedings
From MaRDI portal
Publication:2382312
DOI10.1007/11814771zbMath1120.68005OpenAlexW4232922275MaRDI QIDQ2382312
No author found.
Publication date: 8 October 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11814771
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3 ⋮ Matching Concepts across HOL Libraries ⋮ Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
Uses Software
This page was built for publication: Automated reasoning. Third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17--20, 2006. Proceedings