MARC details
| 000 -LEADER |
|---|
| fixed length control field |
07995cam a2201009 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn654396640 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703155830.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 cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
100810s2010 gw a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
OCLCQ |
| -- |
CUS |
| -- |
COO |
| -- |
E7B |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
OHS |
| -- |
OCLCQ |
| -- |
YDXCP |
| -- |
ESMDG |
| -- |
SLY |
| -- |
OCL |
| -- |
EBLCP |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
SOI |
| -- |
OCLCO |
| -- |
OCLCA |
| -- |
DGU |
| -- |
OCLCO |
| -- |
SHS |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
IOG |
| -- |
OCLCO |
| -- |
OCLCA |
| -- |
BUF |
| -- |
OCLCO |
| -- |
CEF |
| -- |
U3W |
| -- |
WYU |
| -- |
OCLCO |
| -- |
OCLCA |
| -- |
YOU |
| -- |
CNTRU |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
LEAUB |
| -- |
AUD |
| -- |
OCLCQ |
| -- |
ERF |
| -- |
OCLCQ |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCL |
| -- |
DCT |
| -- |
LUN |
| -- |
EUN |
| -- |
OCLCA |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
10,N21 |
| Source |
dnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
1002680492 |
| Source |
DE-101 |
| 019 ## - |
|---|
| -- |
648775979 |
| -- |
769768107 |
| -- |
880312155 |
| -- |
964932653 |
| -- |
1005804162 |
| -- |
1044220558 |
| -- |
1056435558 |
| -- |
1060871105 |
| -- |
1064979000 |
| -- |
1066443528 |
| -- |
1066594724 |
| -- |
1067045734 |
| -- |
1074308485 |
| -- |
1077995069 |
| -- |
1081212640 |
| -- |
1086518291 |
| -- |
1105604197 |
| -- |
1112542242 |
| -- |
1204002409 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642139628 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642139620 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783642139611 |
| Qualifying information |
(pbk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3642139612 |
| Qualifying information |
(pbk.) |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-642-13962-8 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000048656878 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051338542 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000057660365 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
384355218 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
13517742 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
13698919 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:999892056805765 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)654396640 |
| Canceled/invalid control number |
(OCoLC)648775979 |
| -- |
(OCoLC)769768107 |
| -- |
(OCoLC)880312155 |
| -- |
(OCoLC)964932653 |
| -- |
(OCoLC)1005804162 |
| -- |
(OCoLC)1044220558 |
| -- |
(OCoLC)1056435558 |
| -- |
(OCoLC)1060871105 |
| -- |
(OCoLC)1064979000 |
| -- |
(OCoLC)1066443528 |
| -- |
(OCoLC)1066594724 |
| -- |
(OCoLC)1067045734 |
| -- |
(OCoLC)1074308485 |
| -- |
(OCoLC)1077995069 |
| -- |
(OCoLC)1081212640 |
| -- |
(OCoLC)1086518291 |
| -- |
(OCoLC)1105604197 |
| -- |
(OCoLC)1112542242 |
| -- |
(OCoLC)1204002409 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
978-3-642-13961-1 |
| Source of stock number/acquisition |
Springer |
| Note |
http://www.springerlink.com |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA9.59 |
| Item number |
.C66 2010 |
| 060 #4 - NATIONAL LIBRARY OF MEDICINE CALL NUMBER |
|---|
| Classification number |
QA 9.59 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
QA |
| Source |
lcco |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMB |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM051300 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
511.3/52 |
| Edition number |
22 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
O141. 3-532 |
| Number source |
clc |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
Conference on Computability in Europe |
| Number of part/section/meeting |
(6th : |
| Date of meeting |
2010 : |
| Location of meeting |
Ponta Delgada, Azores) |
| 9 (RLIN) |
39047 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Programs, proofs, processes : |
| Remainder of title |
6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedings / |
| Statement of responsibility, etc. |
Fernando Ferreira [and others] (eds.). |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
CiE 2010 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2010. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xvi, 450 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 computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
6158 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and author index. |
| 520 8# - SUMMARY, ETC. |
|---|
| Summary, etc. |
Annotation |
| Expansion of summary note |
This book constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE 2010, held in Ponta Delgada, Azores, Portugal, in June/July 2010. The 28 revised papers presented together with 20 invited lectures were carefully reviewed and selected from 90 submissions. The papers address not only the more established lines of research of computational complexity and the interplay between proofs and computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Avoiding Simplicity Is Complex -- Higher-Order Containers -- On the Completeness of Quantum Computation Models -- The Ordinal of Skolem + Tetration Is? 0 -- Proofs, Programs, Processes -- Ergodic-Type Characterizations of Algorithmic Randomness -- How Powerful Are Integer-Valued Martingales? -- A Faster Algorithm for Finding Minimum Tucker Submatrices -- Processes in Space -- Computability of Countable Subshifts -- The Limits of Tractability in Resolution-Based Propositional Proof Systems -- Haskell before Haskell: Curry's Contribution to Programming (1946-1950) -- A Miniaturisation of Ramsey's Theorem -- Graph Structures and Algorithms for Query-Log Analysis -- On the Complexity of Local Search for Weighted Standard Set Problems -- Computational Interpretations of Analysis via Products of Selection Functions -- The Peirce Translation and the Double Negation Shift -- Counting the Changes of Random Sets -- Boole: From Calculating Numbers to Calculating Thoughts -- Approximability and Hardness in Multi-objective Optimization -- Is Not a Heyting Algebra -- Lower Bounds for Reducibility to the Kolmogorov Random Strings -- Spatial Models for Virtual Networks -- DNA Rearrangements through Spatial Graphs -- On Index Sets of Some Properties of Computable Algebras -- The Strength of the Besicovitch-Davies Theorem -- Circuit Complexity and Multiplicative Complexity of Boolean Functions -- Definability in the Subword Order -- Undecidability in Weihrauch Degrees -- Degrees with Almost Universal Cupping Property -- Incomputability in Physics -- Approximate Self-assembly of the Sierpinski Triangle -- Hairpin Lengthening -- Infinities in Quantum Field Theory and in Classical Computing: Renormalization Program -- Computational Complexity Aspects in Membrane Computing -- Computable Ordered Abelian Groups and Fields -- Focusing in Asynchronous Games -- A Note on the Least Informative Model of a Theory -- Three Roots for Leibniz's Contribution to the Computational Conception of Reason -- Development of a Bacteria Computer: From in silico Finite Automata to in vitro and in vivo -- The Complexity of Explicit Constructions -- Kolmogorov Complexity Cores -- Every -Set Is Natural, Up to Turing Equivalence -- Computable Fields and Weak Truth-Table Reducibility -- What Is the Problem with Proof Nets for Classical Logic? -- Quasi-linear Dialectica Extraction -- Computing with Concepts, Computing with Numbers: Llull, Leibniz, and Boole -- Inference Concerning Physical Systems. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computable functions |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15831 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computing Methodologies |
| 9 (RLIN) |
15958 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Fonctions calculables |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
20602 |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computational intelligence. |
| Source of heading or term |
cct |
| 9 (RLIN) |
3031 |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical. |
| Source of heading or term |
cct |
| 9 (RLIN) |
1341 |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algorithms. |
| Source of heading or term |
cct |
| 9 (RLIN) |
864 |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computable functions. |
| Source of heading or term |
cct |
| 9 (RLIN) |
15832 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| Source of heading or term |
eclas |
| 9 (RLIN) |
14930 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computable functions |
| Source of heading or term |
fast |
| 9 (RLIN) |
15832 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Theoretische Informatik |
| Source of heading or term |
gnd |
| 9 (RLIN) |
1040 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Berechenbarkeit |
| Source of heading or term |
gnd |
| 9 (RLIN) |
3694 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Berechnungskomplexität |
| Source of heading or term |
gnd |
| 9 (RLIN) |
2384 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Beweistheorie |
| Source of heading or term |
gnd |
| 9 (RLIN) |
35358 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Prozessalgebra |
| Source of heading or term |
gnd |
| 9 (RLIN) |
23821 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematische Logik |
| Source of heading or term |
gnd |
| 9 (RLIN) |
28158 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
software. |
| Source of heading or term |
aat |
| 9 (RLIN) |
16724 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
artificial intelligence. |
| Source of heading or term |
aat |
| 9 (RLIN) |
1340 |
| 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 |
Ferreira, Fernando. |
| 9 (RLIN) |
39048 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Programs, proofs, processes (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCFTbHMX7BqdjFGRVF9GVwd |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
Conference on Computability in Europe (6th : 2010 : Ponta Delgada, Azores). |
| Title |
Programs, proofs, processes. |
| Place, publisher, and date of publication |
Berlin : Springer, ©2010 |
| International Standard Book Number |
9783642139611 |
| -- |
3642139612 |
| Record control number |
(OCoLC)646006859 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
6158. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 1, |
| Name of part/section of a work |
Theoretical computer science and general issues. |
| 9 (RLIN) |
20736 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-642-13962-8">https://link.springer.com/10.1007/978-3-642-13962-8</a> |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3065480 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10400305 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
3554844 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |