Temporal Logic: Volume 1 (Bog, Hardback, Engelsk) af Dov M. Gabbay
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Matematisk datateori
  6. Kunstig intelligens
  7. Temporal Logic: Volume 1

Temporal Logic: Volume 1

(Bog, Hardback, Engelsk)
Forfattere: Dov M. Gabbay, Ian Hodkinson, Mark ( Reynolds
Temporal Logic: Volume 1
Forlag: Oxford University Press

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Kunstig intelligens Matematisk datateori Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

BL Indispensable reference for both the pure logician and the theoretical computer scientistThis long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Oxford University Press
Forfattere Dov M. Gabbay, Ian Hodkinson, Mark ( Reynolds
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 21-07-1994
Første udgivelsesår 1994
Serie Oxford Logic Guides
Illustrationer line figures, tables
Originalsprog United Kingdom
Sideantal 668
Indbinding Hardback
Forlag Oxford University Press
Sideoplysninger 668 pages, line figures, tables
Mål 246 x 163 x 44
ISBN-13 / EAN-13 9780198537694