Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Pro, (Paperback)

Hero image 0 of Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Pro, (Paperback), 0 of 1

Nicola Olivetti

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Pro, (Paperback)

(No ratings yet)

Key item features

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Pro, (Paperback)
Author: Springer
ISBN: 9783540730989
Format: Paperback
Publication Date: 2007-06-21
Page Count: 250

Specs

Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
June, 2007
Pages
250
Subgenre
Artificial Intelligence

Current price is $56.14

Price when purchased online

Free shipping
Free 30-day returns

How do you want your item?

I want delivery savings with

Try 30 days for just $1! Choose a plan at checkout.

How do you want your item?

Ships to

Arrives by Thu, May 21

Sold and shipped by Alibris Books

4.568721643981852 stars out of 5, based on 11241 seller reviews(4.6)

Report an issue with this seller

Free 30-day returns

Other sellers

$54.99

+Free shipping

Shipping, arrives by Sat, May 16 to Columbus, 43215

Sold and shipped by Walmart.com

Free 90-day returns

$54.99

+ $7.98 shipping

Shipping, arrives by Wed, May 20 to Columbus, 43215

Sold and shipped by Best Prices & Service

Free 30-day returns

Try 30 days of Walmart+ for just $1!

T&C apply.

About this item

Product details

This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France. It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, and from classical first-order logic to description logics.

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Pro, (Paperback)
Author: Springer
ISBN: 9783540730989
Format: Paperback
Publication Date: 2007-06-21
Page Count: 250

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

Paperback

Fiction/nonfiction

Non-Fiction

Genre

Computing & Internet

Publication date

June, 2007

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

Lecture Notes in Computer Science Utility Computing: 15th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2004, D, Book 3278, (Paperback) $56.14
current price $56.14
Lecture Notes in Computer Science Utility Computing: 15th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2004, D, Book 3278, (Paperback)
Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, Tableaux 2019, London, Uk, (Paperback) $54.99
current price $54.99
Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, Tableaux 2019, London, Uk, (Paperback)
Formal Aspects of Component Software: 13th International Conference, Facs 2016, BesanÃ§on, France, October 19-21, 2016, R, (Paperback) $60.29
current price $60.29
Formal Aspects of Component Software: 13th International Conference, Facs 2016, BesanÃ§on, France, October 19-21, 2016, R, (Paperback)
Communications in Computer and Informati Engineering Applications of Neural Networks: 14th International Conference, Eann 2013, Halkidiki, Greece, September 2013, Book 383, (Paperback) $63.91
current price $63.91
Communications in Computer and Informati Engineering Applications of Neural Networks: 14th International Conference, Eann 2013, Halkidiki, Greece, September 2013, Book 383, (Paperback)
Communications in Computer and Informati Beyond Databases, Architectures, and Structures: 10th International Conference, Bdas 2014, Ustron, Poland, May 27-30, 20, Book 424, (Paperback) $56.14
current price $56.14
Communications in Computer and Informati Beyond Databases, Architectures, and Structures: 10th International Conference, Bdas 2014, Ustron, Poland, May 27-30, 20, Book 424, (Paperback)
Communications in Computer and Informati Wireless Networks and Computational Intelligence: 6th International Conference on Information Processing, Icip 2012, Ban, Book 292, (Paperback) $65.12
current price $65.12
Communications in Computer and Informati Wireless Networks and Computational Intelligence: 6th International Conference on Information Processing, Icip 2012, Ban, Book 292, (Paperback)
Communications in Computer and Informati Automatic Processing of Natural-Language Electronic Texts with Nooj: 10th International Conference, Nooj 2016, Česk, Book 667, (Paperback) $60.29
current price $60.29
Communications in Computer and Informati Automatic Processing of Natural-Language Electronic Texts with Nooj: 10th International Conference, Nooj 2016, Česk, Book 667, (Paperback)
Intelligent Data Engineering and Automated Learning - Ideal 2016: 17th International Conference, Yangzhou, China, Octobe, (Paperback) $63.07
current price $63.07
Intelligent Data Engineering and Automated Learning - Ideal 2016: 17th International Conference, Yangzhou, China, Octobe, (Paperback)
Human-Computer Interaction: Interaction Modalities and Techniques: 15th International Conference, Hci International 2013, (Paperback) $54.99
current price $54.99
Human-Computer Interaction: Interaction Modalities and Techniques: 15th International Conference, Hci International 2013, (Paperback)
Biomedical Applications Based on Natural and Artificial Computing: International Work-Conference on the Interplay Betwee, (Paperback) $54.99
current price $54.99
Biomedical Applications Based on Natural and Artificial Computing: International Work-Conference on the Interplay Betwee, (Paperback)
Graph-Based Representations in Pattern Recognition: 11th Iapr-Tc-15 International Workshop, Gbrpr 2017, Anacapri, Italy,, (Paperback) $60.29
current price $60.29
Graph-Based Representations in Pattern Recognition: 11th Iapr-Tc-15 International Workshop, Gbrpr 2017, Anacapri, Italy,, (Paperback)
Computational Collective Intelligence: 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, P, (Paperback) $64.26
current price $64.26
Computational Collective Intelligence: 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, P, (Paperback)
Communications in Computer and Informati Systems and Frameworks for Computational Morphology: Third International Workshop, Sfcm 2013, Berlin, Germany, September, Book 380, (Paperback) $60.72
current price $60.72
Communications in Computer and Informati Systems and Frameworks for Computational Morphology: Third International Workshop, Sfcm 2013, Berlin, Germany, September, Book 380, (Paperback)
Integration of AI and or Techniques in Constraint Programming: 12th International Conference, Cpaior 2015, Barcelona, Sp, (Paperback) $64.23
current price $64.23
Integration of AI and or Techniques in Constraint Programming: 12th International Conference, Cpaior 2015, Barcelona, Sp, (Paperback)
Integration of AI and or Techniques in Constraint Programming: 14th International Conference, Cpaior 2017, Padua, Italy,, (Paperback) $54.99
current price $54.99
Integration of AI and or Techniques in Constraint Programming: 14th International Conference, Cpaior 2017, Padua, Italy,, (Paperback)
Logical Aspects of Computational Linguistics: 4th International Conference, Lacl 2001, Le Croisic, France, June 27-29, 2, (Paperback) $56.14
current price $56.14
Logical Aspects of Computational Linguistics: 4th International Conference, Lacl 2001, Le Croisic, France, June 27-29, 2, (Paperback)
Artificial Intelligence and Soft Computing: 15th International Conference, Icaisc 2016, Zakopane, Poland, June 12-16, 20, (Paperback) $60.29
current price $60.29
Artificial Intelligence and Soft Computing: 15th International Conference, Icaisc 2016, Zakopane, Poland, June 12-16, 20, (Paperback)
Advances and Trends in Artificial Intelligence. from Theory to Practice: 34th International Conference on Industrial, En, (Paperback) $54.99
current price $54.99
Advances and Trends in Artificial Intelligence. from Theory to Practice: 34th International Conference on Industrial, En, (Paperback)
Modeling Decisions for Artificial Intelligence: 13th International Conference, Mdai 2016, Sant JuliÃ de LÃ²ria, Andorra, , (Paperback) $54.99
current price $54.99
Modeling Decisions for Artificial Intelligence: 13th International Conference, Mdai 2016, Sant JuliÃ de LÃ²ria, Andorra, , (Paperback)
Graph-Based Representations in Pattern Recognition: 8th Iapr-Tc-15 International Workshop, Gbrpr 2011, MÃ¼nster, Germany,, (Paperback) $60.29
current price $60.29
Graph-Based Representations in Pattern Recognition: 8th Iapr-Tc-15 International Workshop, Gbrpr 2011, MÃ¼nster, Germany,, (Paperback)

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

Memorial 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

Party Supplies

Collectibles

Resold

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

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Pro, (Paperback)

Key item features

Specs

How do you want your item?

Try 30 days of Walmart+ for just $1!

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

Lecture Notes in Computer Science Utility Computing: 15th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2004, D, Book 3278, (Paperback) $56.14

Lecture Notes in Computer Science Utility Computing: 15th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2004, D, Book 3278, (Paperback)

Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, Tableaux 2019, London, Uk, (Paperback) $54.99

Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, Tableaux 2019, London, Uk, (Paperback)

Formal Aspects of Component Software: 13th International Conference, Facs 2016, BesanÃ§on, France, October 19-21, 2016, R, (Paperback) $60.29

Formal Aspects of Component Software: 13th International Conference, Facs 2016, BesanÃ§on, France, October 19-21, 2016, R, (Paperback)

Communications in Computer and Informati Engineering Applications of Neural Networks: 14th International Conference, Eann 2013, Halkidiki, Greece, September 2013, Book 383, (Paperback) $63.91

Communications in Computer and Informati Engineering Applications of Neural Networks: 14th International Conference, Eann 2013, Halkidiki, Greece, September 2013, Book 383, (Paperback)

Communications in Computer and Informati Beyond Databases, Architectures, and Structures: 10th International Conference, Bdas 2014, Ustron, Poland, May 27-30, 20, Book 424, (Paperback) $56.14

Communications in Computer and Informati Beyond Databases, Architectures, and Structures: 10th International Conference, Bdas 2014, Ustron, Poland, May 27-30, 20, Book 424, (Paperback)

Communications in Computer and Informati Wireless Networks and Computational Intelligence: 6th International Conference on Information Processing, Icip 2012, Ban, Book 292, (Paperback) $65.12

Communications in Computer and Informati Wireless Networks and Computational Intelligence: 6th International Conference on Information Processing, Icip 2012, Ban, Book 292, (Paperback)

Communications in Computer and Informati Automatic Processing of Natural-Language Electronic Texts with Nooj: 10th International Conference, Nooj 2016, Česk, Book 667, (Paperback) $60.29

Communications in Computer and Informati Automatic Processing of Natural-Language Electronic Texts with Nooj: 10th International Conference, Nooj 2016, Česk, Book 667, (Paperback)

Intelligent Data Engineering and Automated Learning - Ideal 2016: 17th International Conference, Yangzhou, China, Octobe, (Paperback) $63.07

Intelligent Data Engineering and Automated Learning - Ideal 2016: 17th International Conference, Yangzhou, China, Octobe, (Paperback)