scientific article; zbMATH DE number 1302064

From MaRDI portal

Revision as of 16:07, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4247309

Jump to:navigation, search

zbMath0936.03012MaRDI QIDQ4247309

Robert Pollack

Publication date: 17 May 2000

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

zbMATH Keywords

formal proof believing proofs machine-checking

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Methodology of mathematics (00A35) General topics in artificial intelligence (68T01)

Related Items (4)

Elaborating dependent (co)pattern matching: No pattern left behind ⋮ The formal verification of the ctm approach to forcing ⋮ Pollack-inconsistency ⋮ Proof Auditing Formalised Mathematics

This page was built for publication:

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