scientific article
From MaRDI portal
Publication:3006474
zbMath1221.68103MaRDI QIDQ3006474
György Turán, Marina Langlois, Robert H. Sloan
Publication date: 14 June 2011
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) Classical propositional logic (03B05)
Related Items (2)
This page was built for publication:
