Tools

LEADER 02112cam a2200493Ia 4500

001 ocm61666066;

003 OCoLC;

005 20141211183840.0;

007 cr un- ;

008 050916s2005 gw 101 0 eng d;

010 a| 2005931930;

016 7 a| 9760458932| GyFmDB;

020 a| 3540289313 (pbk.);

020 a| 9783540289319;

035 a| (Sirsi) o61666066;

035 a| (OCoLC)61666066;

049 a| EREE;

072 7 a| QA2| lcco;

090 a| QA76.9.A96b| T33 2005;

111 2 a| TABLEAUX 2005d| (2005 :c| Koblenz, Germany)=| ^A608293;

245 10 a| Automated reasoning with analytic tableaux and related methods :b| international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings /c| Bernhard Beckert (ed.).;

246 30 a| TABLEAUX 2005;

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

300 a| xiii, 342 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| 3702.a| Lecture notes in artifical intelligence;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

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

700 1 a| Beckert, Bernhard.=| ^A608294;

830 0 a| Lecture notes in computer sciencev| 3702.=| ^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=3702z| Restricted to SpringerLink subscribers;

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har050104634c| 55.64 EUR;

938 a| Baker & Taylorb| BKTYc| 72.00d| 72.00i| 3540289313n| 0006592802s| active;

980 a| 2005-11-02b| 72d| 0e| 68.4f| 700625;

596 a| 1;

998 a| 1015991;

999 a| QA76.9.A96 T33 2005w| LCc| 1i| 30372013485823d| 3/6/2013f| 3/6/2013g| 1l| JGESm| JOYNERp| $68.40r| Ys| Yt| JGESBKu| 11/9/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings / Bernhard Beckert (ed.).

Author/creator	TABLEAUX 2005
Other author	Beckert, Bernhard.
Format	Electronic
Publication Info	Berlin ; New York : Springer, 2005.
Description	xiii, 342 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Automatic theorem proving--Congresses.

Portion of title	TABLEAUX 2005
Series	Lecture notes in computer science, 0302-9743 ; 3702. Lecture notes in artifical intelligence Lecture notes in computer science 3702. ^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	2005931930
ISBN	3540289313 (pbk.)
ISBN	9783540289319

Availability

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

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings / Bernhard Beckert (ed.).

Click here for more information about this title

Availability