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

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

OriginalsprogEngelsk
TitelNatural Language Understanding and Logic Programming
RedaktørerC. Brown, G. Kock
ForlagNorth Holland, Dordrecht
Publikationsdato1991
Sider92-110
StatusUdgivet - 1991
Eksternt udgivetJa

ID: 167126882