Temporal Logic: from Ancient Ideas to Artificial Intelligence

Peter Øhrstrøm, P. F. V. Hasle

Publikation: Bog/antologi/afhandling/rapportBogForskning

OriginalsprogEngelsk
Udgivelses stedDordrecht
ForlagKluwer Academic Publishers
Antal sider428
ISBN (Trykt)0792335864, 978-0792335863
StatusUdgivet - 1995
NavnStudies in Linguistics and Philosophy
Nummer57

Emneord

  • Tidsbegrebet
  • Tidslogik
  • Tense logik
  • Tidslogikkens historie
  • Logikkens historie
  • Kunstig intelligens

Citer dette

Øhrstrøm, P., & Hasle, P. F. V. (1995). Temporal Logic: from Ancient Ideas to Artificial Intelligence. Dordrecht: Kluwer Academic Publishers. Studies in Linguistics and Philosophy, Nr. 57
Øhrstrøm, Peter ; Hasle, P. F. V. / Temporal Logic : from Ancient Ideas to Artificial Intelligence. Dordrecht : Kluwer Academic Publishers, 1995. 428 s. (Studies in Linguistics and Philosophy; Nr. 57).
@book{fd3a5330002c11dab4d5000ea68e967b,
title = "Temporal Logic: from Ancient Ideas to Artificial Intelligence",
keywords = "Tidsbegrebet, Tidslogik, Tense logik, Tidslogikkens historie, Logikkens historie, Kunstig intelligens, Tidsbegrebet, Tidslogik, Tense logik, Tidslogikkens historie, Logikkens historie, Kunstig intelligens",
author = "Peter {\O}hrstr{\o}m and Hasle, {P. F. V.}",
year = "1995",
language = "English",
isbn = "0792335864",
series = "Studies in Linguistics and Philosophy",
publisher = "Kluwer Academic Publishers",
number = "57",

}

Øhrstrøm, P & Hasle, PFV 1995, Temporal Logic: from Ancient Ideas to Artificial Intelligence. Studies in Linguistics and Philosophy, nr. 57, Kluwer Academic Publishers, Dordrecht.

Temporal Logic : from Ancient Ideas to Artificial Intelligence. / Øhrstrøm, Peter; Hasle, P. F. V.

Dordrecht : Kluwer Academic Publishers, 1995. 428 s. (Studies in Linguistics and Philosophy; Nr. 57).

Publikation: Bog/antologi/afhandling/rapportBogForskning

TY - BOOK

T1 - Temporal Logic

T2 - from Ancient Ideas to Artificial Intelligence

AU - Øhrstrøm, Peter

AU - Hasle, P. F. V.

PY - 1995

Y1 - 1995

KW - Tidsbegrebet

KW - Tidslogik

KW - Tense logik

KW - Tidslogikkens historie

KW - Logikkens historie

KW - Kunstig intelligens

KW - Tidsbegrebet

KW - Tidslogik

KW - Tense logik

KW - Tidslogikkens historie

KW - Logikkens historie

KW - Kunstig intelligens

M3 - Book

SN - 0792335864

SN - 978-0792335863

T3 - Studies in Linguistics and Philosophy

BT - Temporal Logic

PB - Kluwer Academic Publishers

CY - Dordrecht

ER -

Øhrstrøm P, Hasle PFV. Temporal Logic: from Ancient Ideas to Artificial Intelligence. Dordrecht: Kluwer Academic Publishers, 1995. 428 s. (Studies in Linguistics and Philosophy; Nr. 57).