Bokus

Nachum Dershowitz

Visar alla böcker från författaren Nachum Dershowitz. Handla med fri frakt och snabb leverans.

  1. Calendrical Calculations

    Calendrical Calculations

    2018

  2. Fields of Logic and Computation II

    Fields of Logic and Computation II

    2015

  3. Verification: Theory and Practice

    Verification: Theory and Practice

    2004

  4. Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Intelligence, and Reasoning

    2007

  5. Calendrical Tabulations, 1900-2200

    Calendrical Tabulations, 1900-2200

    2002

  6. Pillars of Computer Science

    Pillars of Computer Science

    2008

  7. Fields of Logic and Computation III

    Fields of Logic and Computation III

    2020

  8. Fields of Logic and Computation III

    Fields of Logic and Computation III

    2020

  9. Unconventional Computation

    Unconventional Computation

    2009

  10. Rewriting Techniques and Applications

    Rewriting Techniques and Applications

    1989

  11. Fields of Logic and Computation

    Fields of Logic and Computation

    2010

  12. Conditional and Typed Rewriting Systems

    Conditional and Typed Rewriting Systems

    1995

  13. Language, Culture, Computation: Computing - Theory and Technology

    Language, Culture, Computation: Computing - Theory and Technology

    2014

  14. Language, Culture, Computation: Computing for the Humanities, Law, and Narratives

    Language, Culture, Computation: Computing for the Humanities, Law, and Narratives

    2014

  15. Language, Culture, Computation: Computational Linguistics and Linguistics

    Language, Culture, Computation: Computational Linguistics and Linguistics

    2014