scientific article; zbMATH DE number 1182796
From MaRDI portal
Publication:4400883
zbMATH Open0903.68188MaRDI QIDQ4400883
Publication date: 14 December 1998
Title of this publication is not available (Why is that?)
Related Items (3)
Title not available (Why is that?) ⋮ Reasoning with numeric and symbolic time information ⋮ A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4400883)