Logics of Time and Computation - Center for the Study of Language and Information Publication Lecture Notes - Robert Goldblatt - Grāmatas - Centre for the Study of Language & Infor - 9780937073940 - 1992. gada 30. jūnijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Logics of Time and Computation - Center for the Study of Language and Information Publication Lecture Notes 2 Revised edition


Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Robert Goldblatt izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.


190 pages

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1992. gada 30. jūnijs
ISBN13 9780937073940
Izdevēji Centre for the Study of Language & Infor
Lapas 190
Izmēri 152 × 228 × 15 mm   ·   331 g
Valoda Angļu  

Vairāk no Robert Goldblatt

Vairāk no tā paša izdevēja