Bemærk: Kan ikke leveres før jul.
Forventes på lager: 01-03-2001
This text presents a broad range of logical investigations into language and information processing. Topics covered include: the notion of "reasonable belief" in commonsense reasoning, the logic of creation and modification of objects, and the verification of temporal aspects of reactive systems.
| Forlag | Centre for the Study of Language & Information |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 01-03-2001 |
| Første udgivelsesår | 2001 |
| Serie | Lecture Notes |
| Fagredaktør | Cleo Condoravdi, Gerard Renardel de Lavalette |
| Originalsprog | United States |
| Sideantal | 255 |
| Indbinding | Paperback / softback |
| Forlag | Centre for the Study of Language & Information |
| Sideoplysninger | 255 pages |
| Mål | 23 x 15 x 2 |
| ISBN-13 / EAN-13 | 9781575862842 |