Author: Nachum Dershowitz

Author's info and books

Information about author Nachum Dershowitz from several data sources.

Author Search

Search for any author

AI-generated bio of "Nachum Dershowitz":


Books Results

Source: The Open Library

Nachum Dershowitz Books

Books writen by author Nachum Dershowitz from The Open Library

1Calendrical calculations

By

Book's cover

“Calendrical calculations” Metadata:

  • Title: Calendrical calculations
  • Authors:
  • Language: English

Access and General Info:

  • First Year Published: 1997
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Calendrical calculations at online marketplaces:


2Calendrical Calculations

By

Book's cover

“Calendrical Calculations” Metadata:

  • Title: Calendrical Calculations
  • Authors:
  • Language: English

Access and General Info:

  • First Year Published: 2007
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Calendrical Calculations at online marketplaces:


3Verification : Theory and Practice

By

“Verification : Theory and Practice” Metadata:

  • Title: ➤  Verification : Theory and Practice
  • Author:
  • Language: English

Access and General Info:

  • First Year Published: 2004
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Verification : Theory and Practice at online marketplaces:


4Termination of rewriting

By

“Termination of rewriting” Metadata:

  • Title: Termination of rewriting
  • Author:
  • Language: English

Access and General Info:

  • First Year Published: 1985
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Termination of rewriting at online marketplaces:


5Equational programming

By

“Equational programming” Metadata:

  • Title: Equational programming
  • Author:
  • Language: English

Access and General Info:

  • First Year Published: 1986
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Equational programming at online marketplaces:


6Rewriting Techniques and Applications

By

Book's cover

“Rewriting Techniques and Applications” Metadata:

  • Title: ➤  Rewriting Techniques and Applications
  • Author:
  • Language: English

Access and General Info:

  • First Year Published: 1989
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Rewriting Techniques and Applications at online marketplaces:


7Evolution of Programmes (Progress in Computer Science)

By

Book's cover

“Evolution of Programmes (Progress in Computer Science)” Metadata:

  • Title: ➤  Evolution of Programmes (Progress in Computer Science)
  • Author:

Access and General Info:

  • First Year Published: 1984
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Evolution of Programmes (Progress in Computer Science) at online marketplaces:


8Verification

By

“Verification” Metadata:

  • Title: Verification
  • Author:
  • Language: English

Access and General Info:

  • First Year Published: 2004
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Verification at online marketplaces:


9Verification

By

Book's cover

“Verification” Metadata:

  • Title: Verification
  • Author:
  • Language: English

Access and General Info:

  • First Year Published: 2004
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Verification at online marketplaces:


10Language, Culture, Computation : Computational Linguistics and Linguistics

By

Book's cover

“Language, Culture, Computation : Computational Linguistics and Linguistics” Metadata:

  • Title: ➤  Language, Culture, Computation : Computational Linguistics and Linguistics
  • Authors:
  • Language: English

Access and General Info:

  • First Year Published: 2014
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Language, Culture, Computation : Computational Linguistics and Linguistics at online marketplaces:


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

By

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

  • Title: ➤  Language, Culture, Computation : Computing for the Humanities, Law, and Narratives
  • Authors:
  • Language: English

Access and General Info:

  • First Year Published: 2014
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Language, Culture, Computation : Computing for the Humanities, Law, and Narratives at online marketplaces:


12Language, Culture, Computation : Computing - Theory and Technology

By

“Language, Culture, Computation : Computing - Theory and Technology” Metadata:

  • Title: ➤  Language, Culture, Computation : Computing - Theory and Technology
  • Authors:
  • Language: English

Access and General Info:

  • First Year Published: 2014
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Language, Culture, Computation : Computing - Theory and Technology at online marketplaces:


13Calendrical Calculations

By

Book's cover

“Calendrical Calculations” Metadata:

  • Title: Calendrical Calculations
  • Authors:
  • Language: English

Access and General Info:

  • First Year Published: 2001
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Calendrical Calculations at online marketplaces:


14Fields of Logic and Computation

By

“Fields of Logic and Computation” Metadata:

  • Title: ➤  Fields of Logic and Computation
  • Authors:
  • Language: English

Access and General Info:

  • First Year Published: 2010
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Fields of Logic and Computation at online marketplaces:


15Pillars of Computer Science

By

Book's cover

“Pillars of Computer Science” Metadata:

  • Title: Pillars of Computer Science
  • Author: ➤  

Access and General Info:

  • First Year Published: 2008
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Pillars of Computer Science at online marketplaces:


16Fields of logic and computation

By

Book's cover

“Fields of logic and computation” Metadata:

  • Title: ➤  Fields of logic and computation
  • Authors:
  • Language: English

Access and General Info:

  • First Year Published: 2010
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: Unclassified

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

    Online Marketplaces

    Find Fields of logic and computation at online marketplaces:


    17Pillars of computer science

    By

    Book's cover

    “Pillars of computer science” Metadata:

    • Title: Pillars of computer science
    • Authors:
    • Language: English

    Access and General Info:

    • First Year Published: 2008
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Pillars of computer science at online marketplaces:


    18Fields of Logic and Computation II

    By

    Book's cover

    “Fields of Logic and Computation II” Metadata:

    • Title: ➤  Fields of Logic and Computation II
    • Authors:
    • Language: English

    Access and General Info:

    • First Year Published: 2015
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Fields of Logic and Computation II at online marketplaces:


    19Fields of Logic and Computation III

    By

    “Fields of Logic and Computation III” Metadata:

    • Title: ➤  Fields of Logic and Computation III
    • Authors:
    • Language: English

    Access and General Info:

    • First Year Published: 2020
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Fields of Logic and Computation III at online marketplaces:


    20Conditional and typed rewriting systems

    By

    Book's cover

    “Conditional and typed rewriting systems” Metadata:

    • Title: ➤  Conditional and typed rewriting systems
    • Authors: ➤  
    • Language: English

    Access and General Info:

    • First Year Published: 1995
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Marketplaces

    Find Conditional and typed rewriting systems at online marketplaces:


    21The evolution of programs

    By

    Book's cover

    “The evolution of programs” Metadata:

    • Title: The evolution of programs
    • Author:
    • Language: English

    Access and General Info:

    • First Year Published: 1980
    • Is Full Text Available: Yes
    • Is The Book Public: Yes
    • Access Status: Public

    Online Access

    Downloads:

      Online Borrowing:

      Online Marketplaces

      Find The evolution of programs at online marketplaces:


      22The Schorr-Waite marking algorithm revisited

      By

      Book's cover

      “The Schorr-Waite marking algorithm revisited” Metadata:

      • Title: ➤  The Schorr-Waite marking algorithm revisited
      • Author:
      • Language: English

      Access and General Info:

      • First Year Published: 1979
      • Is Full Text Available: Yes
      • Is The Book Public: Yes
      • Access Status: Public

      Online Access

      Downloads:

        Online Borrowing:

        Online Marketplaces

        Find The Schorr-Waite marking algorithm revisited at online marketplaces:


        23Enumerations of ordered trees

        By

        Book's cover

        “Enumerations of ordered trees” Metadata:

        • Title: Enumerations of ordered trees
        • Author:
        • Language: English

        Access and General Info:

        • First Year Published: 1979
        • Is Full Text Available: Yes
        • Is The Book Public: Yes
        • Access Status: Public

        Online Access

        Downloads:

          Online Borrowing:

          Online Marketplaces

          Find Enumerations of ordered trees at online marketplaces:


          24A note on simplification orderings

          By

          Book's cover

          “A note on simplification orderings” Metadata:

          • Title: ➤  A note on simplification orderings
          • Author:
          • Language: English

          Access and General Info:

          • First Year Published: 1979
          • Is Full Text Available: Yes
          • Is The Book Public: Yes
          • Access Status: Public

          Online Access

          Downloads:

            Online Borrowing:

            Online Marketplaces

            Find A note on simplification orderings at online marketplaces:


            25Orderings for term-rewriting systems

            By

            Book's cover

            “Orderings for term-rewriting systems” Metadata:

            • Title: ➤  Orderings for term-rewriting systems
            • Author:
            • Language: English

            Access and General Info:

            • First Year Published: 1979
            • Is Full Text Available: Yes
            • Is The Book Public: Yes
            • Access Status: Public

            Online Access

            Downloads:

              Online Borrowing:

              Online Marketplaces

              Find Orderings for term-rewriting systems at online marketplaces:


              Top of Page