scientific article

From MaRDI portal

Publication:2702597

Jump to:navigation, search

zbMath0967.03010MaRDI QIDQ2702597

Manfred Kerber

Publication date: 3 September 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automated theorem provers mechanized reasoning proof planning human-oriented theorem provers interactive proof checkers

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2702597&oldid=15550126"