Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk datateori
  5. Dataarkitektur og logisk design
  6. Kunstig intelligens
  7. Temporal Logic: First International Conference, ICTL '94,...

Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings

(Bog, Paperback / softback, Engelsk)
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Forlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

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

Dataarkitektur og logisk design Kunstig intelligens Matematisk datateori
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds;

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1994 ed.
Udgivelsesdato 29-06-1994
Første udgivelsesår 1994
Serie Lecture Notes in Artificial Intelligence
Illustrationer XIII, 551 p.
Fagredaktør Dov M. Gabbay, Hans J. Ohlbach
Originalsprog Germany
Sideantal 551
Indbinding Paperback / softback
Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sideoplysninger 551 pages, XIII, 551 p.
Mål 235 x 155
ISBN-13 / EAN-13 9783540582410