Introduction to Mathematics of Satisfiability (Chapman & Hall/CRC Studies in Informatics Series)

Introduction

by Victor W. Marek

Hardcover

ISBN: 978-1-4398-0167-3

ISBN-10: 1-4398-0167-3

Chapman and Hall/CRC · 2009