MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02941nam a22004575i 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20231104114355.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
150724s2015 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319217505 |
| Canceled/invalid ISBN |
978-3-319-21750-5 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-319-21750-5 |
| Source of number or code |
doi |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
TR-AnTOB |
| Language of cataloging |
eng |
| Transcribing agency |
TR-AnTOB |
| Description conventions |
rda |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.A43 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMB |
| Source |
bicssc |
|
|---|
| Subject category code |
COM051300 |
| Source |
bisacsh |
|
|---|
| Subject category code |
UMB |
| Source |
thema005.1 |
| -- |
23 |
| 041 ## - LANGUAGE CODE |
|---|
| Language code of text/sound track or separate title |
İngilizce |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Broniek, Przemysław. |
| Relator term |
author. |
| Relator code |
aut |
| -- |
http://id.loc.gov/vocabulary/relators/aut |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Computational Complexity of Solving Equation Systems / |
| Statement of responsibility, etc. |
by Przemysław Broniek. |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
1st ed. 2015. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham : |
| Name of producer, publisher, distributor, manufacturer |
Springer International Publishing : |
| -- |
Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2015. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource |
| 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 |
| Encoding format |
PDF |
| Source |
rda |
| 490 0# - SERIES STATEMENT |
|---|
| Series statement |
SpringerBriefs in Philosophy, |
| International Standard Serial Number |
2211-4548 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Acknowledgments -- Chapter 1. Introduction -- Chapter 2. Unary algebras -- Chapter 3. Reducing CSP to SYSTERMSAT over unary algebras -- Chapter 4. Partial characterizations -- Chapter 5. Conclusions and Open Problems. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This volume considers the computational complexity of determining whether a system of equations over a fixed algebra A has a solution. It examines in detail the two problems this leads to: SysTermSat(A) and SysPolSat(A), in which equations are built out of terms or polynomials, respectively. The book characterizes those algebras for which SysPolSat can be solved in a polynomial time. So far, studies and their outcomes have not covered algebras that generate a variety admitting type 1 in the sense of Tame Congruence Theory. Since unary algebras admit only type 1, this book focuses on these algebras to tackle the main problem. It discusses several aspects of unary algebras and proves that the Constraint Satisfaction Problem for relational structures is polynomially equivalent to SysTermSat over unary algebras. The book’s final chapters discuss partial characterizations, present conclusions, and describe the problems that are still open. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer software. |
|
|---|
| Topical term or geographic name entry element |
Logic. |
|
|---|
| Topical term or geographic name entry element |
Logic, Symbolic and mathematical. |
|
|---|
| Topical term or geographic name entry element |
Algorithm Analysis and Problem Complexity. |
| Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/I16021 |
|
|---|
| Topical term or geographic name entry element |
Logic. |
| Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/E16000 |
|
|---|
| Topical term or geographic name entry element |
Mathematical Logic and Foundations. |
| Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/M24005 |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Springer eBooks |
| Public note |
Online access link to the resource |
| Uniform Resource Identifier |
<a href="https://doi.org/10.1007/978-3-319-21750-5">https://doi.org/10.1007/978-3-319-21750-5</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Library of Congress Classification |
| Koha item type |
E-Book |
