Ett treff

propositional calculus congresses
Satisfiability problem : theory and applications : DIMACS Workshop, March 11-13, 1996
Dingzhu Du, Jun Gu, Panos M. Pardalos, ed...
Bok Engelsk 1997 · Vis mer