scientific article; zbMATH DE number 1536569
From MaRDI portal
Publication:4518437
zbMath0949.03505MaRDI QIDQ4518437
No author found.
Publication date: 28 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
A resolution-based proof method for temporal logics of knowledge and belief ⋮ Search strategies for resolution in temporal logics
Uses Software
This page was built for publication:
