Propositional logic
deduction and algorithms
By H. Kleine Büning, Hans Kleine Büning and Theodor Lettmann
"Propositional logic" is published by Cambridge University Press in 1999 - Cambridge [England], it has 409 pages and the language of the book is English.
“Propositional logic” Metadata:
- Title: Propositional logic
- Authors: H. Kleine BüningHans Kleine BüningTheodor Lettmann
- Language: English
- Number of Pages: 409
- Publisher: Cambridge University Press
- Publish Date: 1999
- Publish Location: 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 Specifications:
- Pagination: x, 409 p. :
Edition Identifiers:
- The Open Library ID: OL18820915M - OL4817327W
- Online Computer Library Center (OCLC) ID: 39655053
- Library of Congress Control Number (LCCN): 98038806
- ISBN-10: 0521630177
- All ISBNs: 0521630177
AI-generated Review of “Propositional logic”:
Read “Propositional logic”:
Read “Propositional logic” by choosing from the options below.
Search for “Propositional logic” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Propositional logic” in Libraries Near You:
Read or borrow “Propositional logic” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Propositional logic” at a library near you.
Buy “Propositional logic” online:
Shop for “Propositional logic” on popular online marketplaces.