Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Mathematical knowledge managementsec...
~
(1998 :)
Mathematical knowledge managementsecond international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Mathematical knowledge managementAndrea Asperti, Bruno Buchberger, James H. Davenport (eds.).
Reminder of title:
second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings /
other author:
Asperti, Andrea.
corporate name:
Published:
Berlin ;Springer,c2003.
Description:
x, 223 p. :ill., digital ;24 cm.
Series:
Lecture notes in computer science,
Contained By:
Springer e-books
Subject:
MathematicsCongresses.Data processing
Online resource:
http://dx.doi.org/10.1007/3-540-36469-2
ISBN:
9783540005681 (paper)
Mathematical knowledge managementsecond international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings /
Mathematical knowledge management
second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings /[electronic resource] :Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.). - Berlin ;Springer,c2003. - x, 223 p. :ill., digital ;24 cm. - Lecture notes in computer science,25940302-9743 ;.
ISBN: 9783540005681 (paper)Subjects--Topical Terms:
445277
Mathematics
--Data processing--Congresses.
LC Class. No.: QA76.95 / .I565 2003
Dewey Class. No.: 510.285
Mathematical knowledge managementsecond international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings /
LDR
:00919nmm 2200229 a 4500
001
216506
003
GreenPo
005
20081016145639.0
006
m d
007
cr nn 008maaau
008
091014s2003 gw j eng d
020
$a
9783540005681 (paper)
035
$a
978-3-540-00568-1
050
0 0
$a
QA76.95
$b
.I565 2003
082
0 0
$a
510.285
$2
21
090
$a
QA76.95
$b
.I61 2003
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Mathematical knowledge management
$h
[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 :
$c
c2003.
$b
Springer,
300
$a
x, 223 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
2594
650
0
$a
Mathematics
$x
Data processing
$v
Congresses.
$3
445277
650
0
$a
Information storage and retrieval systems
$x
Mathematics
$v
Congresses.
$3
445731
650
0
$a
Automatic theorem proving
$v
Congresses.
$3
443052
700
1
$a
Asperti, Andrea.
$3
344637
700
1
$a
Buchberger, Bruno.
$3
344638
700
1
$a
Davenport, James Harold,
$d
1953-
$3
344639
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer e-books
856
4 0
$u
http://dx.doi.org/10.1007/3-540-36469-2
950
$a
Computer Science (Lecture Notes in Computer Science)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000029434
電子館藏
1圖書
電子書
EB QA76.95 I61 2003
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/3-540-36469-2
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login