Pharmacy, Health & Wellness

All Health & Wellness

Pharmacy

Allergy & Sinus

Vitamins & Supplements

Caregiver Hub

Protein, Fitness, & Weight Management

Women's Wellness

Pain Management

First Aid & Injury Recovery

Vision Center

Digestive Health & Wellness

Cough, Cold, & Flu

Eyecare

Kids Health & Wellness

Diabetes Management

International Medicine

Benefits Hub

Courant Institute Domenico Cantone

Monographs in Computer Science Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets, (Hardcover)

(No ratings yet)

Key item features

Monographs in Computer Science Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets, (Hardcover)
Author: Springer
ISBN: 9780387951973
Format: Hardcover
Publication Date: 2001-06-26
Page Count: 409

Specs

Book format
Hardcover
Fiction/nonfiction
Non-Fiction
Genre
Textbooks
Publication date
June, 2001
Pages
409
Subgenre
Set Theory

Current price is $164.18

Price when purchased online

Free shipping
Free 30-day returns

How do you want your item?

Columbus, 43215

Arrives between May 2 - May 4

Sold and shipped by Alibris Books

4.566058494544788 stars out of 5, based on 10907 seller reviews(4.6)

Report an issue with this seller

Free 30-day returns - in store or online

More seller options (3)

Starting from $180.21

About this item

Product details

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book will be of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

Monographs in Computer Science Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets, (Hardcover)
Author: Springer
ISBN: 9780387951973
Format: Hardcover
Publication Date: 2001-06-26
Page Count: 409

info:

We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it.

Specifications

Book format

Hardcover

Fiction/nonfiction

Non-Fiction

Genre

Textbooks

Publication date

June, 2001

Warranty

Warranty information

Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.

Similar items you might like

Based on what customers bought

Advanced Information and Knowledge Proce Game Theoretic Problems in Network Economics and Mechanism Design Solutions, (Hardcover) $116.96
current price $116.96
Advanced Information and Knowledge Proce Game Theoretic Problems in Network Economics and Mechanism Design Solutions, (Hardcover)
Computing and Networks Managing Complexity in Software Engineering, (Hardcover) $111.09
current price $111.09
Computing and Networks Managing Complexity in Software Engineering, (Hardcover)
Declarative Programming and Knowledge Management: Declarative Programming Days, Kdpd 2013, Unifying Inap, Wflp, and Wlp,, (Paperback) $54.99
current price $54.99
Declarative Programming and Knowledge Management: Declarative Programming Days, Kdpd 2013, Unifying Inap, Wflp, and Wlp,, (Paperback)
ACM Books Declarative Logic Programming: Theory, Systems, and Applications, (Hardcover) $119.95
current price $119.95
ACM Books Declarative Logic Programming: Theory, Systems, and Applications, (Hardcover)
Studies in Fuzziness and Soft Computing On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory, Book 336, (Hardcover) $107.90
current price $107.90
Studies in Fuzziness and Soft Computing On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory, Book 336, (Hardcover)
An Introduction to the Technique of Formative Processes in Set Theory, (Hardcover) $60.29
Options
current price $60.29
An Introduction to the Technique of Formative Processes in Set Theory, (Hardcover)
International Operations Research & Mana Building and Solving Mathematical Programming Models: 50 Practical Examples, Book 329, (Hardcover) $97.36
current price $97.36
International Operations Research & Mana Building and Solving Mathematical Programming Models: 50 Practical Examples, Book 329, (Hardcover)
Texts in Computer Science Programming Language Design and Implementation, (Hardcover) $73.64
current price $73.64
Texts in Computer Science Programming Language Design and Implementation, (Hardcover)
Perspectives in Mathematical Logic Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets, (Paperback) $97.39
Options
current price $97.39
Perspectives in Mathematical Logic Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets, (Paperback)
Studies in Fuzziness and Soft Computing Interval-Valued Methods in Classifications and Decisions, Book 378, (Hardcover) $107.90
current price $107.90
Studies in Fuzziness and Soft Computing Interval-Valued Methods in Classifications and Decisions, Book 378, (Hardcover)
Computational Intelligence Methods and A Hesitant Fuzzy Set: Theory and Extension, (Hardcover) $129.68
current price $129.68
Computational Intelligence Methods and A Hesitant Fuzzy Set: Theory and Extension, (Hardcover)
Studies in Fuzziness and Soft Computing Intuitionistic Preference Modeling and Interactive Decision Making, Book 280, (Hardcover) $90.11
current price $90.11
Studies in Fuzziness and Soft Computing Intuitionistic Preference Modeling and Interactive Decision Making, Book 280, (Hardcover)
Progress in Theoretical Computer Science Categorical Combinators, Sequential Algorithms, and Functional Programming, (Hardcover) $121.78
current price $121.78
Progress in Theoretical Computer Science Categorical Combinators, Sequential Algorithms, and Functional Programming, (Hardcover)
Discrete Mathematics and Its Application Fundamentals of Information Theory and Coding Design, (Hardcover) $111.41
current price $111.41
Discrete Mathematics and Its Application Fundamentals of Information Theory and Coding Design, (Hardcover)
Studies in Fuzziness and Soft Computing Cost-Benefit Analysis and the Theory of Fuzzy Decisions: Fuzzy Value Theory, Book 160, (Hardcover) $164.18
current price $164.18
Studies in Fuzziness and Soft Computing Cost-Benefit Analysis and the Theory of Fuzzy Decisions: Fuzzy Value Theory, Book 160, (Hardcover)
Studies in Fuzziness and Soft Computing Advances in Bayesian Networks, Book 146, (Hardcover) $121.07
current price $121.07
Studies in Fuzziness and Soft Computing Advances in Bayesian Networks, Book 146, (Hardcover)
Studies in Fuzziness and Soft Computing Soft Computing Methods in Human Sciences, Book 134, (Hardcover) $118.82
current price $118.82
Studies in Fuzziness and Soft Computing Soft Computing Methods in Human Sciences, Book 134, (Hardcover)
New Computational Paradigms: Changing Conceptions of What Is Computable, (Hardcover) $163.87
current price $163.87
New Computational Paradigms: Changing Conceptions of What Is Computable, (Hardcover)
Progress in Theoretical Computer Science Categorical Combinators, Sequential Algorithms, and Functional Programming, (Paperback) $91.91
current price $91.91
Progress in Theoretical Computer Science Categorical Combinators, Sequential Algorithms, and Functional Programming, (Paperback)
Studies in Fuzziness and Soft Computing Fuzzy Sets-Based Methods and Techniques for Modern Analytics, Book 364, (Hardcover) $107.81
current price $107.81
Studies in Fuzziness and Soft Computing Fuzzy Sets-Based Methods and Techniques for Modern Analytics, Book 364, (Hardcover)

Customer ratings & reviews

0 ratings|0 reviews

This item does not have any reviews yet

Rewards debit card.Earn 3% cash back, on up to $150spent each month.Terms apply.

Join OnePay Cash

Rollbacks & more

Mother's Day

Grocery

Clothing, Shoes, & Accessories

Baby & Kids

Pharmacy, Health & Wellness

Home, Garden & Tools

Electronics

Gaming

Auto & Tires

Personal Care

Beauty

Toys & Outdoor Play

Household Essentials

Pet Supplies

School, Office & Art Supplies

Sports & Outdoors

Books, Movies, & Music

Collectibles

Party Supplies

Auto Care Services

Pharmacy

Health Services

Vaccines

Vision Center

Benefit Programs

Insurance Services

Lists

Registries

Gift Cards

Spark Good

Custom Cakes

Custom Cupcakes

Featured

Photo Gifts

OnePay Hub

Money & Other Services

Gift Cards

Protection Services

Home & Tech Services

Subscriptions

Subscription Products

Walmart Business

Industry solutions

It’s easier in the app

Pickup & Delivery

Get inspired

Monographs in Computer Science Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets, (Hardcover)

Key item features

Specs

How do you want your item?

More seller options (3)

About this item

Product details

Specifications

Book format

Fiction/nonfiction

Genre

Publication date

Warranty

Warranty information

Similar items you might like

Based on what customers bought

Advanced Information and Knowledge Proce Game Theoretic Problems in Network Economics and Mechanism Design Solutions, (Hardcover) $116.96

Advanced Information and Knowledge Proce Game Theoretic Problems in Network Economics and Mechanism Design Solutions, (Hardcover)

Computing and Networks Managing Complexity in Software Engineering, (Hardcover) $111.09

Computing and Networks Managing Complexity in Software Engineering, (Hardcover)

Declarative Programming and Knowledge Management: Declarative Programming Days, Kdpd 2013, Unifying Inap, Wflp, and Wlp,, (Paperback) $54.99

Declarative Programming and Knowledge Management: Declarative Programming Days, Kdpd 2013, Unifying Inap, Wflp, and Wlp,, (Paperback)

ACM Books Declarative Logic Programming: Theory, Systems, and Applications, (Hardcover) $119.95

ACM Books Declarative Logic Programming: Theory, Systems, and Applications, (Hardcover)

Studies in Fuzziness and Soft Computing On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory, Book 336, (Hardcover) $107.90

Studies in Fuzziness and Soft Computing On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory, Book 336, (Hardcover)

An Introduction to the Technique of Formative Processes in Set Theory, (Hardcover) $60.29

An Introduction to the Technique of Formative Processes in Set Theory, (Hardcover)

International Operations Research & Mana Building and Solving Mathematical Programming Models: 50 Practical Examples, Book 329, (Hardcover) $97.36

International Operations Research & Mana Building and Solving Mathematical Programming Models: 50 Practical Examples, Book 329, (Hardcover)

Texts in Computer Science Programming Language Design and Implementation, (Hardcover) $73.64

Texts in Computer Science Programming Language Design and Implementation, (Hardcover)

Perspectives in Mathematical Logic Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets, (Paperback) $97.39