Explore: Hol

Discover books, insights, and more — all in one place.

Learn more about Hol with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “hol”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten

By

Book's cover

“Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten” Metadata:

  • Title: ➤  Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
  • Author:
  • Language: ger
  • Number of Pages: Median: 344
  • Publisher: Shaker
  • Publish Date:
  • Publish Location: Aachen

“Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 2010
  • 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 Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten at online marketplaces:


2Theorem proving in higher order logics

By

Book's cover

“Theorem proving in higher order logics” Metadata:

  • Title: ➤  Theorem proving in higher order logics
  • Authors:
  • Language: English
  • Number of Pages: Median: 359
  • Publisher: ➤  Springer London, Limited - Springer
  • Publish Date:

“Theorem proving in higher order logics” Subjects and Themes:

Edition Identifiers:

Access and General Info:

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

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 Theorem proving in higher order logics at online marketplaces:


    3Eine formale algorithmische Synthese digitaler Schaltungen

    By

    Book's cover

    “Eine formale algorithmische Synthese digitaler Schaltungen” Metadata:

    • Title: ➤  Eine formale algorithmische Synthese digitaler Schaltungen
    • Author:
    • Language: ger
    • Publisher: Univ.-Verl. Karlsruhe
    • Publish Date:
    • Publish Location: Karlsruhe

    “Eine formale algorithmische Synthese digitaler Schaltungen” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

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

    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 Eine formale algorithmische Synthese digitaler Schaltungen at online marketplaces:


      4Theorem proving with the real numbers

      By

      Book's cover

      “Theorem proving with the real numbers” Metadata:

      • Title: ➤  Theorem proving with the real numbers
      • Author:
      • Language: English
      • Number of Pages: Median: 186
      • Publisher: Springer
      • Publish Date:
      • Publish Location: New York - London

      “Theorem proving with the real numbers” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

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

      Online Marketplaces

      Find Theorem proving with the real numbers at online marketplaces:


      5Types for Proofs and Programs

      By

      Book's cover

      “Types for Proofs and Programs” Metadata:

      • Title: Types for Proofs and Programs
      • Author: ➤  
      • Language: English
      • Publisher: Springer Berlin Heidelberg
      • Publish Date:
      • Publish Location: Berlin, Heidelberg

      “Types for Proofs and Programs” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

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

      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 Types for Proofs and Programs at online marketplaces:


        Top of Page