Publication:4263170
From MaRDI portal
zbMath0937.03013MaRDI QIDQ4263170
Publication date: 29 May 2000
03B35: Mechanization of proofs and logical operations
Uses Software
zbMath0937.03013MaRDI QIDQ4263170
Publication date: 29 May 2000
03B35: Mechanization of proofs and logical operations
Uses Software