scientific article; zbMATH DE number 1390353
From MaRDI portal
Publication:4934645
zbMath0944.68173MaRDI QIDQ4934645
Publication date: 17 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Automated reasoning and exhaustive search: Quasigroup existence problems, Quantifier-Free Equational Logic and Prime Implicate Generation