Tools

LEADER 02620cam 2200625Ia 4500

001 ocm61133275;

003 OCoLC;

005 20141211183459.0;

007 cr un- ;

008 050722s2005 gw 101 0 eng d;

010 a| 2005929197;

015 a| GBA5697812| bnb;

016 7 a| 0132688672| Uk;

020 a| 3540280057 (pbk.);

020 a| 9783540280057;

035 a| (Sirsi) o61133275;

035 a| (OCoLC)61133275;

049 a| EREE;

050 4 a| QA76.9.A96b| I57 2005;

072 7 a| QA2| lcco;

082 04 a| 006.32| 22;

111 2 a| International Conference on Automated Deductionn| (20th :d| 2005 :c| Tallinn, Estonia)?| UNAUTHORIZED;

245 10 a| Automated deduction, CADE-20 :b| 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /c| Robert Nieuwenhuis (ed.).;

246 30 a| Automated deduction :b| CADE-20;

246 30 a| CADE-20;

246 3 a| CADE-twenty;

246 30 a| 20th International Conference on Automated Deduction;

246 3 a| Twentieth International Conference on Automated Deduction;

246 30 a| International Conference on Automated Deduction;

246 18 a| CADE 2005;

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

300 a| xiii, 457 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,x| 0302-9743 ;v| 3632.a| Lecture notes in artificial intelligence;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

650 0 a| Automatic theorem provingv| Congresses.=| ^A24746;

650 0 a| Logic, Symbolic and mathematicalv| Congresses.=| ^A39117;

653 1 a| CADE;

653 1 a| Automated deduction;

700 1 a| Nieuwenhuis, Robert.=| ^A517356;

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

830 0 a| Lecture notes in computer science.p| Lecture notes in artificial intelligence.=| ^A467263;

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

994 a| 92b| ERE;

910 a| PromptCat;

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

938 a| Baker & Taylorb| BKTYc| 84.00d| 84.00i| 3540280057n| 0006529383s| active;

980 a| 2005-09-28b| 84d| 0e| 79.8f| 678509;

596 a| 1;

998 a| 1012487;

999 a| QA76.9.A96 I57 2005w| LCc| 1i| 30372013453268d| 3/6/2013f| 3/6/2013g| 1l| JGESm| JOYNERp| $79.80r| Ys| Yt| JGESBKu| 10/4/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Automated deduction, CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings / Robert Nieuwenhuis (ed.).

Author/creator	International Conference on Automated Deduction
Other author	Nieuwenhuis, Robert.
Format	Electronic
Publication Info	Berlin ; New York : Springer, 2005.
Description	xiii, 457 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Automatic theorem proving--Congresses. Logic, Symbolic and mathematical--Congresses.

Portion of title	Automated deduction : CADE-20
Portion of title	CADE-20
Variant title	CADE-twenty
Portion of title	20th International Conference on Automated Deduction
Variant title	Twentieth International Conference on Automated Deduction
Portion of title	International Conference on Automated Deduction
Spine title	CADE 2005
Series	Lecture notes in computer science, 0302-9743 ; 3632. Lecture notes in artificial intelligence Lecture notes in computer science 3632. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2005929197
ISBN	3540280057 (pbk.)
ISBN	9783540280057

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.A96 I57 2005	✔ Available	Place Hold

Automated deduction, CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings / Robert Nieuwenhuis (ed.).

Click here for more information about this title

Availability