scientific article; zbMATH DE number 1761419

zbMath0988.03507MaRDI QIDQ4537439

Hans de Nivelle

Publication date: 30 June 2002

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

This page was built for publication: