Explore: Clause Horn
Discover books, insights, and more — all in one place.
Learn more about Clause Horn with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “clause-horn”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Parallel logic programming
By Evan Tick
“Parallel logic programming” Metadata:
- Title: Parallel logic programming
- Author: Evan Tick
- Language: English
- Number of Pages: Median: 486
- Publisher: MIT Press
- Publish Date: 1991
- Publish Location: Cambridge, Mass
“Parallel logic programming” Subjects and Themes:
- Subjects: ➤ Parallel logic programming - Arbre - Triangle Pascal - Logische Programmiersprache - Logic programming - Programmation parallèle (informatique) - Circuit NAND - Clause Horn - Parallelverarbeitung - Programmation logique - Programmation parallèle - Demi-groupe - Chemin optimal - Programmation en logique - Logische Programmierung - PROLOG - Parallel programming (Computer science)
Edition Identifiers:
- The Open Library ID: OL2026975M
- Online Computer Library Center (OCLC) ID: 23357534
- Library of Congress Control Number (LCCN): 91002963
- All ISBNs: 9780262200875 - 0262200872
Access and General Info:
- First Year Published: 1991
- 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 Parallel logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Propositional logic
By H. Kleine Büning, Hans Kleine Büning and Theodor Lettmann
“Propositional logic” Metadata:
- Title: Propositional logic
- Authors: H. Kleine BüningHans Kleine BüningTheodor Lettmann
- Language: English
- Number of Pages: Median: 415
- Publisher: Cambridge University Press
- Publish Date: 1999
- Publish Location: New York - Cambridge [England]
“Propositional logic” Subjects and Themes:
- Subjects: ➤ Computer algorithms - Computer logic - Algorithmes - Algorithme - Automatische bewijsvoering - Logique propositionnelle - Logique (Informatique) - Algoritmen - Structure de données - Algorithme résolution - Démonstration automatique de théorèmes - Déduction - Calcul propositionnel - Aussagenlogik - Satisfiabilité - Clause Horn - Logique informatique - Mathematical logic - Mathematical theory of computation - Science/Mathematics - Computers - General Information - Algorithms (Computer Programming) - Philosophy Of Mathematics - Computers - Programming - General - Discrete Mathematics - Computer Science - Logic - Computers / Programming / Software Development - Computer Bks - General Information - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL7749360M - OL18820915M
- Online Computer Library Center (OCLC) ID: 39655053
- Library of Congress Control Number (LCCN): 98038806
- All ISBNs: 0521630177 - 9780521630177
First Setence:
"Mathematical logic has from its very beginning concerned itself with, amongst other things, a precise explication of the concept of proof, that is to say the concept of logical deduction."
Access and General Info:
- First Year Published: 1999
- 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 Propositional logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.