Tools

LEADER 02556cam a22004934a 4500

001 ssj0000324680;

003 WaSeSS;

005 20240412080346.0;

006 m d ;

007 cr n ;

008 030122s2003 gw a sb 101 0 eng d;

010 a| 2003042408;

020 a| 3540005684 (softcover : acid-free paper);

035 a| (WaSeSS)ssj0000324680;

040 a| DLCc| DLCd| DLCd| WaSeSS;

042 a| pcc;

049 a| EREEa| NEHH;

050 00 a| QA76.95b| .I565 2003;

082 00 a| 510/.2852| 21;

111 2 a| International Conference on Mathematical Knowledge Managementn| (2nd :d| 2003 :c| Bertinoro, Italy)?| UNAUTHORIZED;

245 10 a| Mathematical knowledge managementh| [electronic resource] :b| second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings /c| Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.).;

260 a| Berlin ;a| New York :b| Springer,;

300 a| x, 223 p. :b| ill. ;c| 24 cm.;

440 0 a| Lecture notes in computer science,x| 0302-9743 ;v| 2594;

504 a| Includes bibliographical references and index.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Mathematicsx| Data processingv| Congresses.=| ^A87897;

650 0 a| Information storage and retrieval systemsx| Mathematicsv| Congresses.=| ^A1419868;

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

655 0 a| Electronic books.=| ^A491897;

700 1 a| Asperti, Andrea.=| ^A410514;

700 1 a| Buchberger, Bruno.=| ^A141735;

700 1 a| Davenport, James Harold,d| 1953-=| ^A197643;

856 40 z| Full text available from Springer Booksu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F3-540-36469-2;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2Fopenurl%3Fgenre%3Dbook%26isbn%3D978-3-540-00568-1;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4175833;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4175833-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/2/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4175833-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/2/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4175833-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/2/2016x| EBOOKz| JERESOURCE;

Mathematical knowledge management second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings / Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.).

Author/creator	International Conference on Mathematical Knowledge Management
Other author	Asperti, Andrea.
Other author	Buchberger, Bruno.
Other author	Davenport, James Harold, 1953-
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	x, 223 p. : ill. ; 24 cm.
Supplemental Content	Full text available from Springer Books
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects	Mathematics--Data processing. --Congresses. Information storage and retrieval systems--Mathematics. --Congresses. Automatic theorem proving--Congresses.

Series	Lecture notes in computer science, 0302-9743 ; 2594
Bibliography note	Includes bibliographical references and index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2003042408
ISBN	3540005684 (softcover : acid-free paper)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Online Content Full text available from Springer Books Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)	✔ Available

Mathematical knowledge management second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings / Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.).

Click here for more information about this title

Availability