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

Originalsprog	Engelsk
Titel	Natural Language Understanding and Logic Programming
Redaktører	C. Brown, G. Kock
Forlag	North Holland, Dordrecht
Publikationsdato	1991
Sider	92-110
Status	Udgivet - 1991
Udgivet eksternt	Ja

Citationsformater

@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",

}