scientific article
From MaRDI portal
Publication:4035319
zbMath0780.68103MaRDI QIDQ4035319
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (2)
Ordering in automated theorem proving of differential geometry ⋮ Eliminations in Weyl algebras and identities.
This page was built for publication:
