Tools

LEADER 02092cam 2200517Ia 4500

001 ocm60676968;

003 OCoLC;

005 20141211183221.0;

007 cr un- ;

008 050617s2005 gw a 101 0 eng d;

010 a| 2005927321;

015 a| GBA5577882| bnb;

016 7 a| 0132391012| Uk;

020 a| 3540262768 (pbk.);

020 a| 9783540262763;

035 a| (Sirsi) o60676968;

035 a| (OCoLC)60676968;

049 a| EREE;

050 4 a| QA9.3b| .S365 2005;

111 2 a| SAT 2005d| (2005 :c| St. Andrews, Scotland)=| ^A604846;

245 10 a| Theory and applications of satisfiability testing :b| 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings /c| Fahiem Bacchus, Toby Walsh (eds.).;

246 30 a| SAT 2005;

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

300 a| xii, 492 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| 3569,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| Decision makingv| Congresses.=| ^A16425;

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

700 1 a| Bacchus, Fahiem.=| ^A273558;

700 1 a| Walsh, Toby.=| ^A464432;

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

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

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har055013547c| 64.20 EUR;

938 a| Baker & Taylorb| BKTYc| 89.00d| 89.00i| 3540262768n| 0006495645s| active;

980 a| 2005-08-31b| 89d| 0e| 84.55f| 661105;

596 a| 1;

998 a| 1009525;

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

Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings / Fahiem Bacchus, Toby Walsh (eds.).

Author/creator	SAT 2005
Other author	Bacchus, Fahiem.
Other author	Walsh, Toby.
Format	Electronic
Publication Info	Berlin ; New York : Springer, 2005.
Description	xii, 492 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Propositional calculus--Congresses. Decision making--Congresses. Computer algorithms--Congresses.

Portion of title	SAT 2005
Series	Lecture notes in computer science ; 3569, 0302-9743 ; Lecture notes in computer science 3569. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2005927321
ISBN	3540262768 (pbk.)
ISBN	9783540262763

Availability

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

Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings / Fahiem Bacchus, Toby Walsh (eds.).

Click here for more information about this title

Availability