Research Catalog

Introduction to Propositional Satisfiability / Victor Marek.

Title
Introduction to Propositional Satisfiability / Victor Marek.
Author
Marek, Victor
Publication
London : College Publications, 2014.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextUse in library QA9.3 .M38 2014Off-site

Holdings

Details

Description
358 p.; 24 cm.
Series Statement
Studies in logic ; 49
Uniform Title
Studies in logic v. 49.
Subject
  • Propositional calculus
  • Logic, Symbolic and mathematical
Processing Action (note)
  • committed to retain
ISBN
  • 1848901399 (pbk.)
  • 9781848901391 (pbk.)
Owning Institutions
Harvard Library