Zeitlogik: Band 2: Mathematische Grundlagen und rechnergestützte Aspekte von
396,64 €
Introduction and overview 2. Temporal logic and automata 3. Labelled deduction presentation of temporal logics 5. Temporal logic programming 6. Combining temporal logic systems 7. Extensional semantics 8.
Jetzt bei Ebay: