Publication:4860655
From MaRDI portal
zbMath0856.03009MaRDI QIDQ4860655
Publication date: 24 February 1997
03B35: Mechanization of proofs and logical operations
zbMath0856.03009MaRDI QIDQ4860655
Publication date: 24 February 1997
03B35: Mechanization of proofs and logical operations