scientific article; zbMATH DE number 1206044
From MaRDI portal
Publication:4209085
zbMath0901.68183MaRDI QIDQ4209085
Publication date: 14 October 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35)
This page was built for publication:
