Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouve - detaljert visning

Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers

SAT 2004
Bok Engelsk 2005


Utgitt	Berlin : Springer , c2005
Omfang	XIII, 392 s. : ill.
Emner	Beslutningsprosesser (Kunstig intelligens) Teoretisk databehandling
ISBN	354027829X. - 9783540278290