scientific article; zbMATH DE number 1748583

From MaRDI portal

Publication:4530468

Jump to:navigation, search

zbMath0996.03008MaRDI QIDQ4530468

Reinhold Letz

Publication date: 3 June 2002

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

zbMATH Keywords

tableaux redundancy elimination model elimination refinements of matings

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Uses Software

Unnamed Item

This page was built for publication:

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