scientific article
From MaRDI portal
Publication:3408147
zbMath1273.68316MaRDI QIDQ3408147
Mnacho Echenim, Thierry Boy de la Tour
Publication date: 24 February 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (1)
This page was built for publication: