MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06927cam a2201021 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn989722640 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250707090536.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 |
170609s2017 sz a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
YDX |
| -- |
AZU |
| -- |
UPM |
| -- |
OCLCF |
| -- |
OCLCO |
| -- |
UAB |
| -- |
MERER |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
COO |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
IOG |
| -- |
U3W |
| -- |
CAUOI |
| -- |
KSU |
| -- |
UCW |
| -- |
OCLCQ |
| -- |
OCLCA |
| -- |
EBLCP |
| -- |
WYU |
| -- |
UKMGB |
| -- |
OCLCQ |
| -- |
ERF |
| -- |
OCLCQ |
| -- |
DCT |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
UKAHL |
| -- |
OCLCO |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
GBB8N7784 |
| Source |
bnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
019166109 |
| Source |
Uk |
| 019 ## - |
|---|
| -- |
989025683 |
| -- |
992450661 |
| -- |
992930027 |
| -- |
1005824915 |
| -- |
1012094135 |
| -- |
1048178283 |
| -- |
1049850181 |
| -- |
1066674849 |
| -- |
1081208968 |
| -- |
1086537741 |
| -- |
1112581603 |
| -- |
1132194746 |
| -- |
1203997616 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319592718 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3319592718 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
331959270X |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319592701 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783319592701 |
| Qualifying information |
(print) |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-319-59271-8 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000060477775 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
UKMGB |
| System control number |
019166109 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:999900854305765 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)989722640 |
| Canceled/invalid control number |
(OCoLC)989025683 |
| -- |
(OCoLC)992450661 |
| -- |
(OCoLC)992930027 |
| -- |
(OCoLC)1005824915 |
| -- |
(OCoLC)1012094135 |
| -- |
(OCoLC)1048178283 |
| -- |
(OCoLC)1049850181 |
| -- |
(OCoLC)1066674849 |
| -- |
(OCoLC)1081208968 |
| -- |
(OCoLC)1086537741 |
| -- |
(OCoLC)1112581603 |
| -- |
(OCoLC)1132194746 |
| -- |
(OCoLC)1203997616 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
com.springer.onix.9783319592718 |
| Source of stock number/acquisition |
Springer Nature |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.M35 |
| Item number |
I58 2017eb |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYQ |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
TJFM1 |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM004000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.01/51 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
International Conference on Formal Concept Analysis |
| Number of part/section/meeting |
(14th : |
| Date of meeting |
2017 : |
| Location of meeting |
Rennes, France) |
| 9 (RLIN) |
60564 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Formal concept analysis : |
| Remainder of title |
14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings / |
| Statement of responsibility, etc. |
Karell Bertet, Daniel Borchmann, Peggy Cellier, Sébastien Ferré (eds.). |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
ICFCA 2017 |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham, Switzerland : |
| Name of producer, publisher, distributor, manufacturer |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2017. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xviii, 243 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 |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in artificial intelligence, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
10308 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 7, Artificial intelligence |
| 500 ## - GENERAL NOTE |
|---|
| General note |
International conference proceedings. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Includes author index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (SpringerLink, viewed June 9, 2017). |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Invited Contribution -- An Invitation to Knowledge Space Theory -- Historical Paper -- Implications and Dependencies between Attributes -- Regular Contributions -- The implication logic of (n, k)-extremal lattices -- Making use of empty intersections to improve the performance of CbO-type algorithms -- On the Usability of Probably Approximately Correct Implication Bases. -Formal Concept Analysis in a Logical Programming Setting for Visualization Oriented (Power) Graph Compression -- A Proposition for Sequence Mining Using Pattern Structures. -An investigation of user behavior in educational platforms using Temporal Concept Analysis. -Hierarchies of Weighted Closed Partially-Ordered Patterns for Enhancing Sequential Data Analysis -- First Notes on Maximum Entropy Entailment for Quantified Implications. -- On overfitting of classifiers making a lattice -- Learning Thresholds in Formal Concept Analysis -- The Linear Algebra in Extended Formal Concept Analysis over Idempotent Semifields -- Distributed and Parallel Computation of the Canonical Direct Basis. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the proceedings of the 14th International Conference on Formal Concept Analysis, ICFCA 2017, held in Rennes, France, in June 2017. The 13 full papers presented in this volume were carefully reviewed and selected from 37 submissions. The book also contains an invited contribution and a historical paper translated from German and originally published in "Die Klassifkation und ihr Umfeld", edited by P.O. Degens, H.J. Hermes, and O. Opitz, Indeks-Verlag, Frankfurt, 1986. The field of Formal Concept Analysis (FCA) originated in the 1980s in Darmstadt as a subfield of mathematical order theory, with prior developments in other research groups. Its original motivation was to consider complete lattices as lattices of concepts, drawing motivation from philosophy and mathematics alike. FCA has since then developed into a wide research area with applications much beyond its original motivation, for example in logic, data mining, learning, and psychology |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science |
| General subdivision |
Mathematics |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15039 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical |
| Form subdivision |
Congresses. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formal methods (Computer science) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15679 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique |
| General subdivision |
Mathématiques |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
20905 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logique symbolique et mathématique |
| Form subdivision |
Congrès. |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Méthodes formelles (Informatique) |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18838 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Data mining. |
| Source of heading or term |
bicssc |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Public administration. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
54415 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software Engineering. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
14736 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Information architecture. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
53442 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
1340 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Database Management |
| -- |
Data Mining. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
5653 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Data Processing. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
17991 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Software Development & Engineering |
| -- |
General. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
4347 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Business & Economics |
| General subdivision |
Information Management. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
18715 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Intelligence (AI) & Semantics. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
17680 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science |
| General subdivision |
Mathematics |
| Source of heading or term |
fast |
| 9 (RLIN) |
2386 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formal methods (Computer science) |
| Source of heading or term |
fast |
| 9 (RLIN) |
15635 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical |
| Source of heading or term |
fast |
| 9 (RLIN) |
1341 |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 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 |
Bertet, Karell, |
| Relator term |
editor. |
| 9 (RLIN) |
60567 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Borchmann, Daniel, |
| Relator term |
editor. |
| 9 (RLIN) |
60568 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Cellier, Peggy, |
| Relator term |
editor. |
| 9 (RLIN) |
48734 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Ferré, Sébastien, |
| Relator term |
editor. |
| 9 (RLIN) |
35057 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783319592701 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science. |
| Name of part/section of a work |
Lecture notes in artificial intelligence ; |
| Volume number/sequential designation |
10308. |
| 9 (RLIN) |
14916 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 7, |
| Name of part/section of a work |
Artificial intelligence. |
| 9 (RLIN) |
20712 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-319-59271-8">https://link.springer.com/10.1007/978-3-319-59271-8</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH34381518 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL6283939 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL5578851 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
14538260 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |