Search alternatives:
slas » slabs, seas, sas
sheath » heath
swat » sweat, swan, seat
sat » salt, satz
xpath » path
-plate » -plates, -place
Cover Image
Read Now

1
Published 2000
Springer Netherlands
Table of Contents: “... Axioms -- The SAT Problem of Signed CNF Formulas -- Discipline as Logic: Treating Labels as First Class...”
Cover Image
Read Now

2
Published 2000
Springer Netherlands
Table of Contents: “... in High-Quality Software Design -- A Complete Neural Network Algorithm for HORN-SAT -- Nondeterministic...”
Cover Image
Read Now

3
Published 1999
Springer Netherlands
Table of Contents: “... and Constraints -- II: Algebraic Aspects of Multiple-valued Logics -- Ulam Game, the Logic of MaxSat, and Many...”