Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Mathematical knowledge managementthi...
~
(1998 :)
Mathematical knowledge managementthird international conference, MKM 2004, Biaowieza, Poland, September 19-21, 2004 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Mathematical knowledge managementAndrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.).
Reminder of title:
third international conference, MKM 2004, Biaowieza, Poland, September 19-21, 2004 : proceedings /
other author:
Asperti, Andrea.
corporate name:
Published:
Berlin ;Springer,c2004.
Description:
x, 392 p. :ill., digital ;24 cm.
Series:
Lecture notes in computer science,
Contained By:
Springer e-books
Subject:
MathematicsCongresses.Data processing
Online resource:
https://doi.org/10.1007/b100478
ISBN:
9783540230298 (paper)
Mathematical knowledge managementthird international conference, MKM 2004, Biaowieza, Poland, September 19-21, 2004 : proceedings /
Mathematical knowledge management
third international conference, MKM 2004, Biaowieza, Poland, September 19-21, 2004 : proceedings /[electronic resource] :Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.). - Berlin ;Springer,c2004. - x, 392 p. :ill., digital ;24 cm. - Lecture notes in computer science,31190302-9743 ;.
ISBN: 9783540230298 (paper)
LCCN: nmm a2200241 a 4500Subjects--Topical Terms:
445277
Mathematics
--Data processing--Congresses.
LC Class. No.: QA76.95 / .M56 2004
Dewey Class. No.: 510.285
Mathematical knowledge managementthird international conference, MKM 2004, Biaowieza, Poland, September 19-21, 2004 : proceedings /
LDR
:00980nmm a2200253 a 4500
001
217404
003
GreenPo
005
20081021120043.0
006
m d
007
cr nn 008maaau
008
091014s2004 gw j eng d
009
0nam 2200229 a 4500
010
2 3
$a
nmm a2200241 a 4500
020
$a
9783540230298 (paper)
035
$a
978-3-540-23029-8
050
0 0
$a
QA76.95
$b
.M56 2004
082
0 0
$a
510.285
$2
22
090
$a
QA76.95
$b
.M685 2004
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Mathematical knowledge management
$h
[electronic resource] :
$b
third international conference, MKM 2004, Biaowieza, Poland, September 19-21, 2004 : proceedings /
$c
Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.).
260
#
$a
Berlin ;
$a
New York :
$c
c2004.
$b
Springer,
300
$a
x, 392 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
3119
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
Bancerek, Grzegorz.
$3
346801
700
1 #
$a
Trybulec, Andrzej.
$3
346802
710
2 #
$a
SpringerLink (Online service)
$3
273601
773
0 #
$t
Springer e-books
856
4 0
$u
https://doi.org/10.1007/b100478
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
000000030332
電子館藏
1圖書
電子書
EB QA76.95 M685 2004
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
https://doi.org/10.1007/b100478
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login