Building a Temporal Logic for Natural Language Understanding with the HOL-system
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
Standard
Building a Temporal Logic for Natural Language Understanding with the HOL-system. / Hasle., Per F. V.
Natural Language Understanding and Logic Programming. red. / C. Brown; G. Kock. North Holland, Dordrecht, 1991. s. 92-110.Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
Harvard
Hasle., PFV 1991, Building a Temporal Logic for Natural Language Understanding with the HOL-system. i C Brown & G Kock (red), Natural Language Understanding and Logic Programming. North Holland, Dordrecht, s. 92-110.
APA
Hasle., P. F. V. (1991). Building a Temporal Logic for Natural Language Understanding with the HOL-system. I C. Brown, & G. Kock (red.), Natural Language Understanding and Logic Programming (s. 92-110). North Holland, Dordrecht.
Vancouver
Hasle. PFV. Building a Temporal Logic for Natural Language Understanding with the HOL-system. I Brown C, Kock G, red., Natural Language Understanding and Logic Programming. North Holland, Dordrecht. 1991. s. 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