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.
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 Hans Grönniger
“Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten” Metadata:
- Title: ➤ Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
- Author: Hans Grönniger
- Language: ger
- Number of Pages: Median: 344
- Publisher: Shaker
- Publish Date: 2010
- Publish Location: Aachen
“Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten” Subjects and Themes:
- Subjects: ➤ Modellgetriebene Entwicklung - Entwurfssprache - Objektorientierte Programmiersprache - Formale Semantik - Isabelle - HOL
Edition Identifiers:
- The Open Library ID: OL33176006M
- Online Computer Library Center (OCLC) ID: 682153461
- All ISBNs: 9783832292867 - 3832292861
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:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Theorem proving in higher order logics
By Yves Bertot, Gilles Dowek and Andre Hirschowitz
“Theorem proving in higher order logics” Metadata:
- Title: ➤ Theorem proving in higher order logics
- Authors: Yves BertotGilles DowekAndre Hirschowitz
- Language: English
- Number of Pages: Median: 359
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 1999 - 2003
“Theorem proving in higher order logics” Subjects and Themes:
- Subjects: ➤ Congresses - Automatic theorem proving - Congres - Theoremes - Linguagens formais e automatos - HOL - Kongress - Logica - Automatisches Beweisverfahren - Logica matematica - Demonstration automatique - Automatische bewijsvoering - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL9901511M - OL37149299M
- Online Computer Library Center (OCLC) ID: 42389534
- Library of Congress Control Number (LCCN): 99044586
- All ISBNs: 9783540664635 - 3540482563 - 9783540482567 - 3540664637
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Eine formale algorithmische Synthese digitaler Schaltungen
By Kai Kapp
“Eine formale algorithmische Synthese digitaler Schaltungen” Metadata:
- Title: ➤ Eine formale algorithmische Synthese digitaler Schaltungen
- Author: Kai Kapp
- Language: ger
- Publisher: Univ.-Verl. Karlsruhe
- Publish Date: 2005
- Publish Location: Karlsruhe
“Eine formale algorithmische Synthese digitaler Schaltungen” Subjects and Themes:
- Subjects: Digitalschaltung - HOL - Logiksynthese - Formale Spezifikationstechnik
Edition Identifiers:
- The Open Library ID: OL25550087M
- Online Computer Library Center (OCLC) ID: 180010662
- All ISBNs: 9783937300900 - 3937300902
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Theorem proving with the real numbers
By Harrison, J.
“Theorem proving with the real numbers” Metadata:
- Title: ➤ Theorem proving with the real numbers
- Author: Harrison, J.
- Language: English
- Number of Pages: Median: 186
- Publisher: Springer
- Publish Date: 1998
- Publish Location: New York - London
“Theorem proving with the real numbers” Subjects and Themes:
- Subjects: Automatic theorem proving - HOL - Automatisches Beweisverfahren - Computeralgebra - Reelle Zahl
Edition Identifiers:
- The Open Library ID: OL358017M
- Online Computer Library Center (OCLC) ID: 38828154
- Library of Congress Control Number (LCCN): 98017946
- All ISBNs: 9783540762560 - 3540762566
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Types for Proofs and Programs
By Hutchison, David - undifferentiated
“Types for Proofs and Programs” Metadata:
- Title: Types for Proofs and Programs
- Author: ➤ Hutchison, David - undifferentiated
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Types for Proofs and Programs” Subjects and Themes:
- Subjects: ➤ Logic design - Artificial intelligence - Computer science - Data processing - Algebra - Automatic theorem proving - Congresses - Computer programming - Beweistheorie - Kongress - Typentheorie - HOL - Programmierung - Typsystem
Edition Identifiers:
- The Open Library ID: OL25542866M
- Online Computer Library Center (OCLC) ID: 401153782
- Library of Congress Control Number (LCCN): 2009929554
- All ISBNs: 3642024440 - 9783642024443 - 3642024432 - 9783642024436
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Wiki
Source: Wikipedia
Wikipedia Results
Search Results from Wikipedia
Hol
Look up Hol, hol, or hól in Wiktionary, the free dictionary. HOL or Hol may refer to: Hol, Norway, in Buskerud county Hol Municipality (Nordland), a former
Holism
Holism is the interdisciplinary idea that systems possess properties as wholes apart from the properties of their component parts. The aphorism "The whole
HOL Light
HOL Light is a proof assistant for classical higher-order logic. It is a member of the HOL theorem prover family. Compared with other HOL systems, HOL
Klingon language
pIqaD HaSta, Code2000, and Horta. The Klingon language (Klingon: tlhIngan Hol, pIqaD: , pronounced [ˈt͡ɬɪ.ŋɑn xol]) is the constructed language
Hol (role-playing game)
HoL (Human Occupied Landfill, sometimes written as "HōL") is a role-playing game created by Dirt Merchant Games and produced by Black Dog Game Factory
Shayera Hol
Shayera Hol, birth name Shayera Thal II, is a superheroine appearing in American comic books during the Silver Age of Comics published by DC Comics. The
Hol (surname)
Hol is a surname. Notable people with the surname include: Dag Hol (born 1951), Norwegian painter Diederik Hol (born 1972), Dutch designer Erik Hol (born
Holness
Holness is an English surname. Notable people with the surname include: Andrew Holness (born 1972), Jamaican politician, 9th and current Prime Minister
Proto-Sinaitic script
el-Khadim in the Sinai Peninsula, as well as two inscriptions from Wadi el-Hol in Middle Egypt. Together with about 20 known Proto-Canaanite inscriptions
Black hole
A black hole is an astronomical body so dense that its gravity prevents anything from escaping, even light. Albert Einstein's theory of general relativity