Normal view MARC view ISBD view

Temporal logic and state systems

Material type: materialTypeLabel

BookSeries: Texts in theoretical computer science.Publisher: Berlin: Springer, 2008Description: xi, 433 p.; ill.: 24 cm.ISBN: 9783540674016 .Subject(s): Logic, Symbolic and mathematical | Tense (Logic) | TimeDDC classification: 160

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Call number	Status	Date due	Barcode
Books		160 KRO (Browse shelf)	Available		019630

Previous								Next
Previous	160 IAC Logic : lecture notes for philosophy, mathematics, and computer science	160 KOR Practical reason	160 KRI Naming and necessity	160 KRO Temporal logic and state systems	160 LEI Inference on the low level : an investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition	160 MAK Symbolic logic	160 MAR Multi-Dimensional Modal Logic	Next

There are no comments for this item.

Koha online