MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06893cam a2200961 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocm60762476 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703143321.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cnu---unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
050628s2004 gw a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
N$T |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
N$T |
| Modifying agency |
OCLCQ |
| -- |
YDXCP |
| -- |
OCLCQ |
| -- |
QCL |
| -- |
OCLCQ |
| -- |
YNG |
| -- |
OCLCQ |
| -- |
DKDLA |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
GW5XE |
| -- |
OCLCF |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
UA@ |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
BUF |
| -- |
CEF |
| -- |
OCLCQ |
| -- |
TFW |
| -- |
WYU |
| -- |
QE2 |
| -- |
LEAUB |
| -- |
OCLCQ |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
AUD |
| -- |
HS0 |
| -- |
UWK |
| -- |
LUN |
| -- |
SXB |
| -- |
OCLCQ |
| -- |
EUX |
| -- |
UKAHL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
WSU |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCL |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
04,N37,0569 |
| Source |
dnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
972014284 |
| Source |
DE-101 |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
013013946 |
| Source |
Uk |
| 019 ## - |
|---|
| -- |
56731395 |
| -- |
326552854 |
| -- |
664271914 |
| -- |
771187560 |
| -- |
1005797120 |
| -- |
1066419700 |
| -- |
1081192575 |
| -- |
1084933892 |
| -- |
1105603583 |
| -- |
1162726869 |
| -- |
1164927123 |
| -- |
1166186125 |
| -- |
1170502792 |
| -- |
1172185861 |
| -- |
1172341010 |
| -- |
1238306051 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540278184 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540278184 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540230297 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540230298 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/b100478. |
| Source of number or code |
doi |
| 028 52 - PUBLISHER NUMBER |
|---|
| Publisher number |
11320111 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051332677 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051696397 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058016497 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000067503303 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:000463665 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14990843 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15296804 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)60762476 |
| Canceled/invalid control number |
(OCoLC)56731395 |
| -- |
(OCoLC)326552854 |
| -- |
(OCoLC)664271914 |
| -- |
(OCoLC)771187560 |
| -- |
(OCoLC)1005797120 |
| -- |
(OCoLC)1066419700 |
| -- |
(OCoLC)1081192575 |
| -- |
(OCoLC)1084933892 |
| -- |
(OCoLC)1105603583 |
| -- |
(OCoLC)1162726869 |
| -- |
(OCoLC)1164927123 |
| -- |
(OCoLC)1166186125 |
| -- |
(OCoLC)1170502792 |
| -- |
(OCoLC)1172185861 |
| -- |
(OCoLC)1172341010 |
| -- |
(OCoLC)1238306051 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.95 |
| Item number |
.I565 2004eb |
| 055 #3 - CLASSIFICATION NUMBERS ASSIGNED IN CANADA |
|---|
| Classification number |
QA75 |
| Item number |
.L38 no.3119 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
MAT |
| Subject category code subdivision |
008000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
QA |
| Source |
lcco |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UNH. |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UND. |
| Source |
bicssc |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
510.285 |
| Edition number |
22 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
31.99 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
SS 4800 |
| Number source |
rvk |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
510 |
| Number source |
sdnb |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
DAT 703f |
| Number source |
stub |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
MAT 010f |
| Number source |
stub |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
MKM 2004 |
| Date of meeting |
(2004 : |
| Location of meeting |
Białowieża, Poland) |
| 9 (RLIN) |
19781 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Mathematical knowledge management : |
| Remainder of title |
third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings / |
| Statement of responsibility, etc. |
Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.). |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
MKM 2004 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
2004. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (x, 392 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
3119 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the Third International Conference on Mathematical Knowledge Management, MKM 2004, held in Bialowieza, Poland, in September 2004. The 27 revised full papers presented were carefully reviewed and selected from 48 submissions. Among the topics addressed are mathematics retrieval, formalizing mathematics, formal mathematics, digital mathematical libraries, semantic Web, knowledge repositories, mathematical knowledge representation, theorem proving systems, OWL, proof verification, formal representation, mathematical formulae processing, and the OpenMath project. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Copyright Issues for MKM -- Efficient Retrieval of Mathematical Statements -- Formalizing Set Theory as it Is Actually Used -- Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles -- Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics -- Mathematical Service Matching Using Description Logic and OWL -- C-CoRN, the Constructive Coq Repository at Nijmegen -- Classifying Differential Equations on the Web -- Managing Heterogeneous Theories within a Mathematical Knowledge Repository -- Rough Concept Analysis -- Theory Development in the Mizar System -- A Path to Faithful Formalizations of Mathematics -- Flexible Encoding of Mathematics on the Computer -- CPoint: Dissolving the Author's Dilemma -- On Diagrammatic Representation of Mathematical Knowledge -- Predicate Logic with Sequence Variables and Sequence Function Symbols -- A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics -- Theorem Proving and Proof Verification in the System SAD -- Adaptive Access to a Proof Planner -- Modeling Interactivity for Mathematics Learning by Demonstration -- Extraction of Logical Structure from Articles in Mathematics -- Improving Mizar Texts with Properties and Requirements -- An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics -- Intuitive and Formal Representations: The Case of Matrices -- Mathematical Libraries as Proof Assistant Environments -- Efficient Ambiguous Parsing of Mathematical Formulae -- An Architecture for Distributed Mathematical Web Services -- The Categorial Type of OpenMath Objects. |
| 546 ## - LANGUAGE NOTE |
|---|
| Language note |
English. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematics |
| General subdivision |
Data processing |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
18924 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Information storage and retrieval systems |
| General subdivision |
Mathematics |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
19782 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Automatic theorem proving |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14919 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathématiques |
| General subdivision |
Informatique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
19112 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Systèmes d'information |
| General subdivision |
Mathématiques |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
30226 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Théorèmes |
| General subdivision |
Démonstration automatique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
14921 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
MATHEMATICS |
| General subdivision |
Discrete Mathematics. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
19783 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Automatic theorem proving |
| Source of heading or term |
fast |
| 9 (RLIN) |
14923 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Information storage and retrieval systems |
| General subdivision |
Mathematics |
| Source of heading or term |
fast |
| 9 (RLIN) |
19784 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematics |
| General subdivision |
Data processing |
| Source of heading or term |
fast |
| 9 (RLIN) |
18925 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Asperti, Andrea. |
| 9 (RLIN) |
19785 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bancerek, Grzegorz. |
| 9 (RLIN) |
19786 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Trybulec, Andrzej. |
| 9 (RLIN) |
19787 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Mathematical knowledge management (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCGP7ywDkmfRKddktJR7m3P |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
International Conference on Mathematical Knowledge Management (3rd : 2004 : Białowieża, Poland). |
| Title |
Mathematical knowledge management. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer, 2004 |
| International Standard Book Number |
3540230297 |
| Record control number |
(DLC) 2004111460 |
| -- |
(OCoLC)56533548 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
3119. |
| International Standard Serial Number |
0302-9743 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/b100478">https://link.springer.com/10.1007/b100478</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH20750913 |
| 938 ## - |
|---|
| -- |
EBSCOhost |
| -- |
EBSC |
| -- |
133885 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
2362204 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |