Publication:4303116
From MaRDI portal
zbMath0808.68094MaRDI QIDQ4303116
Fausto Giunchiglia, Paolo Traverso
Publication date: 23 March 1995
03B35: Mechanization of proofs and logical operations
Related Items
zbMath0808.68094MaRDI QIDQ4303116
Fausto Giunchiglia, Paolo Traverso
Publication date: 23 March 1995
03B35: Mechanization of proofs and logical operations
Related Items