Zeitlogik: Band 2: Mathematische Grundlagen und rechnergestützte Aspekte von
406,28 €
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:
