Building a Temporal Logic for Natural Language Understanding with the HOL-system
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Standard
Building a Temporal Logic for Natural Language Understanding with the HOL-system. / Hasle., Per F. V.
Natural Language Understanding and Logic Programming. ed. / C. Brown; G. Kock. North Holland, Dordrecht, 1991. p. 92-110.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Harvard
Hasle., PFV 1991, Building a Temporal Logic for Natural Language Understanding with the HOL-system. in C Brown & G Kock (eds), Natural Language Understanding and Logic Programming. North Holland, Dordrecht, pp. 92-110.
APA
Hasle., P. F. V. (1991). Building a Temporal Logic for Natural Language Understanding with the HOL-system. In C. Brown, & G. Kock (Eds.), Natural Language Understanding and Logic Programming (pp. 92-110). North Holland, Dordrecht.
Vancouver
Hasle. PFV. Building a Temporal Logic for Natural Language Understanding with the HOL-system. In Brown C, Kock G, editors, Natural Language Understanding and Logic Programming. North Holland, Dordrecht. 1991. p. 92-110
Author
Bibtex
@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",
}
RIS
TY - CHAP
T1 - Building a Temporal Logic for Natural Language Understanding with the HOL-system
AU - Hasle., Per F. V.
PY - 1991
Y1 - 1991
M3 - Book chapter
SP - 92
EP - 110
BT - Natural Language Understanding and Logic Programming
A2 - Brown, C.
A2 - Kock, G.
PB - North Holland, Dordrecht
ER -
ID: 167126882