Tools

LEADER 02052cam 2200505Ia 4500

001 ocm61133263;

003 OCoLC;

005 20141211183253.0;

007 cr un- ;

008 050722s2005 gw a b 101 0 eng d;

010 a| 2005928808;

020 a| 354027829X (pbk.);

020 a| 9783540278290;

035 a| (Sirsi) o61133263;

035 a| (OCoLC)61133263;

049 a| EREE;

072 7 a| QA2| lcco;

090 a| QA9.3b| .S365 2004;

111 2 a| SAT 2004d| (2004 :c| Vancouver, B.C.)=| ^A605163;

245 10 a| Theory and applications of satisfiability testing :b| 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers /c| Holger H. Hoos, David G. Mitchell (eds.).;

246 30 a| SAT 2004;

260 a| Berlin ;a| New York :b| Springer,c| 2005.;

300 a| xiii, 392 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 3542,x| 0302-9743 ;;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

650 0 a| Propositional calculusv| Congresses.=| ^A62288;

650 0 a| Algebra, Booleanv| Congresses.=| ^A20265;

650 0 a| Computer algorithmsv| Congresses.=| ^A417202;

650 0 a| Decision makingv| Congresses.=| ^A16425;

700 1 a| Hoos, Holger H.=| ^A605164;

700 1 a| Mitchell, David G.,d| 1957-?| UNAUTHORIZED;

830 0 a| Lecture notes in computer sciencev| 3542.=| ^A466336;

856 41 u| http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3542z| Restricted to SpringerLink subscribers;

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har055016397c| 59.92 EUR;

980 a| 2005-09-14b| 78d| 0e| 74.1f| 669278;

596 a| 1;

998 a| 1009950;

999 a| QA9.3 .S365 2004w| LCc| 1i| 30372013440943d| 1/31/2013l| JGESm| JOYNERp| $74.10q| 1r| Ys| Yt| JGESBKu| 9/21/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers / Holger H. Hoos, David G. Mitchell (eds.).

Author/creator	SAT 2004
Other author	Hoos, Holger H.
Other author	Mitchell, David G., 1957-
Format	Electronic
Publication Info	Berlin ; New York : Springer, 2005.
Description	xiii, 392 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Propositional calculus--Congresses. Algebra, Boolean--Congresses. Computer algorithms--Congresses. Decision making--Congresses.

Portion of title	SAT 2004
Series	Lecture notes in computer science ; 3542, 0302-9743 ; Lecture notes in computer science 3542. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2005928808
ISBN	354027829X (pbk.)
ISBN	9783540278290

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.3 .S365 2004	✔ Available	Place Hold

Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers / Holger H. Hoos, David G. Mitchell (eds.).

Click here for more information about this title

Availability