Found 2 Documents (Results 1–2)
Superposition for bounded domains. (English) Zbl 1383.03018
Bonacina, Maria Paola (ed.) et al., Automated reasoning and mathematics. Essays in memory of William W. McCune. Berlin: Springer (ISBN 978-3-642-36674-1/pbk). Lecture Notes in Computer Science 7788. Lecture Notes in Artificial Intelligence, 68-100 (2013).
MSC:
03B35
68T15
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
Author
- Baumgartner, Peter (1)
- Hillenbrand, Thomas (1)
- Schmidt, Renate A. (1)
- Weidenbach, Christoph (1)