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