Publication:3838803
From MaRDI portal
zbMath0910.03007MaRDI QIDQ3838803
Publication date: 19 April 1999
03B35: Mechanization of proofs and logical operations
zbMath0910.03007MaRDI QIDQ3838803
Publication date: 19 April 1999
03B35: Mechanization of proofs and logical operations