Suchergebnisse - Halpern, Joseph Y. 1953-

  • Treffer 1 – 18 von 18
Treffer filtern
  1. 1
    Buchumschlag

    Reasoning about uncertainty
    von Halpern, Joseph Y. 1953-

    Veröffentlicht 2017
    Online lesen
    E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Actual causality
    von Halpern, Joseph Y. 1953-

    Veröffentlicht 2016
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Decidability and expressiveness for first-order logics of probability
    von Abadi, Martín 1963-, Halpern, Joseph Y. 1953-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Reasoning about uncertainty
    von Halpern, Joseph Y. 1953-

    Veröffentlicht 2017
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Reasoning about Uncertainty
    von Halpern, Joseph Y. 1953-

    Veröffentlicht 2017
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Reasoning about uncertainty
    von Halpern, Joseph Y. 1953-

    Veröffentlicht 2005
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Axiomatic definitions of programming languages
    Band 2
    von Meyer, Albert R., Halpern, Joseph Y. 1953-

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Axiomatic definitions of programming languages
    von Meyer, Albert R., Halpern, Joseph Y. 1953-

    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    The semantics of local storage, or what makes the free-list free?
    von Halpern, Joseph Y. 1953-, Meyer, Albert R., Trachtenbrot, Boris Avraamovič 1921-2016

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    From denotatonal to operational and axiomatic semantics for ALGOL-like languages: an overview
    von Trachtenbrot, Boris Avraamovič 1921-2016, Halpern, Joseph Y. 1953-, Meyer, Albert R.

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Deterministic propositional dynamic logic: finite models, complexity, and completeness
    von Ben-Arî, Môtî 1948-, Halpern, Joseph Y. 1953-, Pnueli, Amir

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Actual causality
    von Halpern, Joseph Y. 1953-

    Veröffentlicht 2016
    Elektronisch E-Book


    Gespeichert in:
  13. 13
    Buchumschlag

    Reasoning about uncertainty
    von Halpern, Joseph Y. 1953-

    Veröffentlicht 2003
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    The propositional dynamic logic of deterministic, well-structured programs
    von Halpern, Joseph Y. 1953-, Reif, John H.

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Axiomatic definitions of programming languages
    Band 1 - A theoretical asessment
    von Meyer, Albert R., Halpern, Joseph Y. 1953-

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Probabilistic and causal inference: the works of Judea Pearl

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Halpern, Joseph Y. 1953- …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  17. 17
    Buchumschlag

    Theoretical aspects of reasoning about knowledge: proceedings of the 1986 Conference ; March 19 - 22, 1986, Monterey, Calif.

    Veröffentlicht 1986
    Weitere beteiligte Personen: “… Halpern, Joseph Y. 1953- …”
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Probabilistic and causal inference: the works of Judea Pearl

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Halpern, Joseph Y. 1953- …”
    Buch


    Gespeichert in:

Suchwerkzeuge: