Jean-francois Collard | Reasoning About Program Transformations | Buch

Reasoning About Preference Dynamics 1311

Reasoning About Hyperproperties 2667

Henry S. Richardson | Practical Reasoning About Final Ends | Buch |

Maurizio Proietti | Logic Program Synthesis And Transformation |

Lettres De Jean-francois Ducis (1879) | Jean-francois Ducis |

Logic In Computer Science: Modelling And Reasoning About Systems

Dimiter Vladimirov Milushev | Reasoning About Hyperproperties |

Political Transformations And Teacher Education Programs By Miriam

Sandro Etalle | Logic Based Program Synthesis And Transformation |

Reasoning Unbound Thinking About Morality, Delusion And Democracy 5527

Logic-based Program Synthesis And Transformation 18th International

Michael Hanus | Logic-based Program Synthesis And Transformation |

Networks, Crowds, And Markets: Reasoning About A Highly Connected

Richard Allen Lest Reasoning About Discriminati (gebundene Ausgabe)

Richard Allen Lester Reasoning About Discrimination (taschenbuch) (us