Theorem proving method and the computer science

zbMATH Open0981.68145MaRDI QIDQ2770773

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

• 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?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Computer theorem proving in mathematics 👍 👎
• Automated theorem proving methods 👍 👎
• Proof theory and computer programming 👍 👎

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)