scientific article; zbMATH DE number 2100042
From MaRDI portal
Publication:4816538
zbMATH Open1045.03014MaRDI QIDQ4816538FDOQ4816538
Authors: Branden Fitelson, Larry Wos 
Publication date: 9 September 2004
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 49488
- Proof theory and automated deduction
- scientific article; zbMATH DE number 4043814
- Automated theorem proving methods
- Automated constructivization of proofs
- scientific article; zbMATH DE number 978243
- scientific article; zbMATH DE number 67847
- scientific article; zbMATH DE number 3894495
- scientific article; zbMATH DE number 1865568
- scientific article; zbMATH DE number 1552534
Cited In (13)
- Larry Wos: visions of automated reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Missing proofs found
- Automated natural deduction prover and experiments
- Autarkic computations in formal proofs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Searching for circles of pure proofs
- Conquering the Meredith single axiom
- Finding missing proofs with automated reasoning
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4816538)
