scientific article; zbMATH DE number 1389648
From MaRDI portal
Publication:4934141
zbMath0951.68141MaRDI QIDQ4934141
Publication date: 17 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Maehara-style modal nested calculi ⋮ Intuitionistic Decision Procedures Since Gentzen ⋮ Optimization techniques for propositional intuitionistic logic and their implementation
Uses Software
This page was built for publication:
