Ganesh Ram Santhanam – författare
Visar alla böcker från författaren Ganesh Ram Santhanam. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Häftad, Engelska, 2016
433 kr
Skickas inom 10-15 vardagar
One can translate preference queries with respect to a set of preferences into an equivalent set of formulae in CTL, such that the CTL formula is satisfied whenever the preference query holds.