×

zbMATH — the first resource for mathematics

Maintaining knowledge about temporal intervals. (English) Zbl 0519.68079

MSC:
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68P20 Information storage and retrieval of data
PDF BibTeX XML Cite
Full Text: DOI