Publication:4707764
From MaRDI portal
zbMath1012.68180MaRDI QIDQ4707764
Publication date: 11 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2408/24080160.htm
03B35: Mechanization of proofs and logical operations
Related Items
Specifying rewrite strategies for interactive exercises, Computer supported mathematics with \(\Omega\)MEGA