scientific article

From MaRDI portal

Publication:3311709

Jump to:navigation, search

zbMath0529.68066MaRDI QIDQ3311709

Ivan Kramosil

Publication date: 1983

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

zbMATH Keywords

approximative verification procedures automated verification of propositional formulas

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

This page was built for publication:

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