MARC details
| 000 -LEADER |
|---|
| fixed length control field |
01814cam a22002777a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
vtls000002645 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
VRT |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250102222824.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
081201s2006 gw a |b 101 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540314301 (pbk. : acidfree paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
354031430X (pbk. : acid-free paper) |
| 039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE] |
|---|
| Level of rules in bibliographic description |
201402040107 |
| Level of effort used to assign nonsubject heading access points |
VLOAD |
| Level of effort used to assign subject headings |
201010091201 |
| Level of effort used to assign classification |
malmash |
| Level of effort used to assign subject headings |
200812060926 |
| Level of effort used to assign classification |
venkatrajand |
| Level of effort used to assign subject headings |
200812011110 |
| Level of effort used to assign classification |
Noora |
| -- |
200812011108 |
| -- |
Noora |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.95 |
| Item number |
.M56 2005 |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Location of meeting |
Bremen, Germany) |
| 9 (RLIN) |
10632 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Mathematical Knowledge Management : |
| Remainder of title |
4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers / |
| Statement of responsibility, etc. |
Michael Kohlhase (ed.). |
| 246 10 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
MKM 2005 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Berlin : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
c2006. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xi, 403 p. : |
| Other physical details |
ill. ; |
| Dimensions |
24 cm. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references and index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management, MKM 2005, held in Bremen, Germany in July 2005. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 38 submissions. The papers in this volume cover the whole area of mathematical knowledge management. Topics range from foundations and the representational and document-structure aspects of mathematical knowledge, over process questions like authoring, migration, and consistency management by automated theorem proving to applications in e-learning and case studies. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Mathemcatics |
| General subdivision |
Data processing |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
10633 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Information storage and retrieval systems |
| General subdivision |
Mathematics |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
10634 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Automatic theorem proving |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
10635 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Kohlhase, Michael, |
| 9 (RLIN) |
10636 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Library of Congress Classification |
| Suppress in OPAC |
No |
| Koha item type |
Books |
