Logical tools for temporal knowledge representation /
Bestougeff, Hélène.
Ligozat, Gérard.
New York ; London : Ellis Horwood,
1992.
Translation of: Outils logiques pour le traitement du temps.
Includes bibliographical references and index.
Knowledge representation (Information theory)
Computational linguistics.
Temporal automata.