Introduction to mathematics of satisfiability

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Marek, Victor W. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Boca Raton, Fla. u.a. CRC Press/Taylor & Francis 2009
Schriftenreihe:	Chapman & Hall / CRC studies in informatics series
Schlagworte:	Propositional calculus > Logic, Symbolic and mathematical > Erfüllbarkeitsproblem
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Includes bibliographical references (p. 343-346) and index
Beschreibung:	XIII, 350 S. graph. Darst.
ISBN:	9781439801673 978-1-4398-0167-3