scientific article; zbMATH DE number 794244
From MaRDI portal
Publication:4847004
zbMath0839.68092MaRDI QIDQ4847004
Jieh Hsiang, Maria Paola Bonacina
Publication date: 28 May 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
The Clause-Diffusion theorem prover Peers-mcd (system description) ⋮ Larry Wos: visions of automated reasoning
Uses Software
This page was built for publication: