Welcome
user_choices_background_image
Welcome
login container bottom
Search Libraries Catalogue
Duplicate Items
Add to My List

Print
Sorts and Limits


Title: Computational Complexity of Solving Equation Systems by Przemysław Broniek.
SpringerBriefs in Philosophy,
SpringerBriefs in Philosophy,

Main Entry: Broniek, Przemysław. author.
SpringerLink (Online service)

Publisher: Springer International Publishing : Imprint: Springer,
Publication Date: 2015.
Publication Place: Cham :
ISBN: 9783319217505
Subject: Computer science.
Logic.
Algorithms.
Mathematical logic.
Computer science.
Algorithm Analysis and Problem Complexity.
Logic.
Mathematical Logic and Foundations.

Series: SpringerBriefs in Philosophy,
SpringerBriefs in Philosophy,

Edition: 1st ed. 2015.
Contents: 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.
Related Records: Springer eBooks
Printed edition: 9783319217499

Cover Image: http://images.amazon.com/images/P/9783319217505.jpg

Results 1 - 1 of 1
  Agency: Collection: Item Type: Status: Barcode: Media Type:
JUST Main Library Electronic Resources No Circulation Available Online -711905 Book