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!

Keine Ergebnisse!