scientific article; zbMATH DE number 2146638
From MaRDI portal
Publication:4658353
zbMATH Open1114.03307MaRDI QIDQ4658353FDOQ4658353
Authors: V. A. Moshchenskij, T. P. Tikhonenko 
Publication date: 16 March 2005
Title of this publication is not available (Why is that?)
Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4658353)
