scientific article; zbMATH DE number 1389647
From MaRDI portal
Publication:4934140
zbMath0951.68197MaRDI QIDQ4934140
P. G. Bertoli, Jacques Calmet, Karsten Homann, Fausto Giunchiglia
Publication date: 18 December 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Formal and efficient primality proofs by use of computer algebra oracles ⋮ Hidden verification for computational mathematics ⋮ On the role of OpenMath in interactive mathematical documents ⋮ Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
Uses Software
