An edition of Propositional logic (1999)

Propositional logic

deduction and algorithms

by , , and

  • 1 Want to read
Cover of: Propositional logic by H. Kleine Büning, Hans Kleine Büning, Theodor Lettmann, H. Kleine Büning
Locate

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 1 Want to read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
December 25, 2021 | History
Edit
An edition of Propositional logic (1999)

Propositional logic

deduction and algorithms

by , , and

  • 1 Want to read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Cambridge University Press
Language
English
Pages
409

Check nearby libraries

Buy this book

Previews available in: English

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 Availability
Cover of: Propositional logic
Propositional logic: deduction and algorithms
1999, Cambridge University Press
in English
Cover of: Propositional Logic
Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science)
August 28, 1999, Cambridge University Press
Hardcover in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. 385-402) and index.

Published in
Cambridge [England], New York
Series
Cambridge tracts in theoretical computer science -- 48.

Classifications

Dewey Decimal Class
004/.01/5113
Library of Congress
QA76.9.L63 P76 1999

The Physical Object

Pagination
x, 409 p. :
Number of pages
409

ID Numbers

Open Library
OL18820915M
Internet Archive
surveyrecentadva00bnin
ISBN 10
0521630177
LCCN
98038806
OCLC/WorldCat
39655053
Library Thing
2623401
Goodreads
6939672

Source records

Oregon Libraries MARC record
Internet Archive item record
Library of Congress MARC record
Better World Books record
amazon.com record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
December 25, 2021 Edited by ImportBot import existing book
July 31, 2019 Edited by MARC Bot associate edition with work OL4817327W
July 7, 2019 Edited by MARC Bot import existing book
December 3, 2010 Edited by Open Library Bot Added subjects from MARC records.
December 10, 2009 Created by WorkBot add works page