Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Ma - detaljert visning

Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers

SAT 2003
Bok Engelsk 2004


Utgitt	Berlin : Springer , c2004
Omfang	XI, 530 s. : ill.
Emner	Computer algorithms Decision making Propositional calculus Beslutningsprosesser (Kunstig intelligens) Teoretisk databehandling
ISBN	3540208518