scientific article; zbMATH DE number 2090307
From MaRDI portal
Publication:4809066
zbMath1072.68567MaRDI QIDQ4809066
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2392/23920285.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Applying SAT solving in classification of finite algebras, Mathematical applications of inductive logic programming, Dealing with algebraic expressions over a field in Coq using Maple, HR, CATEGORY-BASED CO-GENERATION OF SEMINAL CONCEPTS AND RESULTS IN ALGEBRA AND NUMBER THEORY: CONTAINMENT-DIVISION AND GOLDBACH RINGS
Uses Software