Reasoning with numeric and symbolic time information

From MaRDI portal
Publication:704615