Publication:4264708
From MaRDI portal
zbMath0925.03072MaRDI QIDQ4264708
Toby Walsh, Alan Bundy, Alex Nunes
Publication date: 7 October 1999
03B35: Mechanization of proofs and logical operations
Related Items
zbMath0925.03072MaRDI QIDQ4264708
Toby Walsh, Alan Bundy, Alex Nunes
Publication date: 7 October 1999
03B35: Mechanization of proofs and logical operations
Related Items