scientific article; zbMATH DE number 2063839

From MaRDI portal

Publication:4461445

Jump to:navigation, search

zbMath1037.03511MaRDI QIDQ4461445

M. A. Malkov

Publication date: 30 March 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4461445&oldid=18522226"