scientific article

From MaRDI portal

Publication:3034850

Jump to:navigation, search

zbMath0692.68063MaRDI QIDQ3034850

Christian Lengauer

Publication date: 1988

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

zbMATH Keywords

automated theorem proving proof checking

Mathematics Subject Classification ID

This page was built for publication:

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