scientific article; zbMATH DE number 3922016
From MaRDI portal
Publication:3696551
zbMATH Open0576.68071MaRDI QIDQ3696551FDOQ3696551
Authors: Hubert Hofbauer, Thomas A. Henzinger 
Publication date: 1985
Title of this publication is not available (Why is that?)
Recommendations
Cited In (22)
- Natural Deduction Environment for Matita
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Press-ready deduction trees in classical logic using point-plus-expressions
- Title not available (Why is that?)
- The automation of syllogistic. I: Syllogistic normal forms
- Title not available (Why is that?)
- Visual theorem proving with the Incredible Proof Machine
- Title not available (Why is that?)
- Title not available (Why is that?)
- Pandora: A Reasoning Toolbox using Natural Deduction Style
- Model generation for natural language interpretation and analysis.
- TPS: A hybrid automatic-interactive system for developing proofs
- Title not available (Why is that?)
- Deduction and presentation in \(\rho\)Log
- Title not available (Why is that?)
- Validation of proofs using PhoX
- Reconstructing proofs at the assertion level
- Assertion-level proof representation with under-specification
- Providing a proof-theoretical basis for explanation: A case study on UML and ALCQI reasoning
- \textit{Symlog}. Automated advice in Fitch-style proof construction
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 Q3696551)
