Theorem proving method and the computer science

MaRDI QIDQ2770773zbMATH OpenFDO

Authors Katalin Pásztor Varga

Publication date 13 February 2002

Published in Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica (Search for Journal in Brave)

zbMATH Keywords

theorem provingmethod of tableaux

Mathematics Subject Classification ID

Recommendations

• Computer theorem proving in mathematics
• Proof theory and computer programming
• scientific article; zbMATH DE number 3904000
• Fundamental proof methods in computer science. A computer-based approach
• scientific article; zbMATH DE number 1722693
• scientific article; zbMATH DE number 1231647
• Mathematical concepts in computer proofs
• scientific article; zbMATH DE number 3880145
• Automated theorem proving methods

Cited in

(3)

• scientific article; zbMATH DE number 63752 (Why is no real title available?)
• scientific article; zbMATH DE number 4047178 (Why is no real title available?)
• scientific article; zbMATH DE number 440107 (Why is no real title available?)

This page was built for publication: Theorem proving method and the computer science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2770773)