scientific article; zbMATH DE number 3922016

zbMATH Open0576.68071MaRDI QIDQ3696551FDOQ3696551

Hubert Hofbauer, Thomas A. Henzinger

Publication date: 1985

Title of this publication is not available (Why is that?)

Recommendations

• TPS: A hybrid automatic-interactive system for developing proofs
• scientific article; zbMATH DE number 1765709
• scientific article; zbMATH DE number 2176109
• scientific article; zbMATH DE number 3906548
• Automated natural deduction in THINKER

zbMATH Keywords

AND/OR-treesman-machine theorem proving system

Mathematics Subject Classification ID

Cited In (11)

• Natural Deduction Environment for Matita
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The automation of syllogistic. I: Syllogistic normal forms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)