Building a Temporal Logic for Natural Language Understanding with the HOL-system

Original language	English
Title of host publication	Natural Language Understanding and Logic Programming
Editors	C. Brown, G. Kock
Publisher	North Holland, Dordrecht
Publication date	1991
Pages	92-110
Publication status	Published - 1991
Externally published	Yes

Cite this

@inbook{336fcbdace114302a6f690037b962976,

title = "Building a Temporal Logic for Natural Language Understanding with the HOL-system",

author = "Hasle., {Per F. V.}",

year = "1991",

language = "English",

pages = "92--110",

editor = "C. Brown and G. Kock",

booktitle = "Natural Language Understanding and Logic Programming",

publisher = "North Holland, Dordrecht",

}