LiveZilla Live Chat Software
Importitall
Register/Login Login Contact UsContacts BlogBlog
Cart Items : 0 | Cart Total : R0
USA Categories
Site Security
Books > Computers & Technology > Computer Science > AI & Machine Learning > Intelligence & Semantics > 3540730982
  1. Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings (Lecture Notes in Computer Science)
    Image(s) provided for illustrative purposes and may differ from the actual product
  2. Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings (Lecture Notes in Computer Science)

    [3540730982]
    Delivery: 10-20 Working Days
    Price R1926.00

     pinterest 
Additional Information

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.

Specifications

Country
USA
Binding
Paperback
Brand
Brand: Springer
EAN
9783540730989
Edition
2007
Feature
Used Book in Good Condition
ISBN
3540730982
Label
Springer
Manufacturer
Springer
MPN
biography
NumberOfItems
1
NumberOfPages
250
PartNumber
biography
PublicationDate
2007-07-31
Publisher
Springer
SKU
R9780
Studio
Springer
Please Note

The authorised South African distributor of this product is under no obligation to honour the manufacture's guarantees/warranties or to provide after-sales service.

Please note that this product is based in the USA, and is designed and labelled to be used in the USA. If the unit is powered and plugs into an electrical socket, we cannot import the unit for you due to local regulations, as a permit is required for electrical goods. Please check with us if you are unsure or need any assistance!

Please also note that certain items cannot be imported, these include Alcohol, Agricultural Remedies, Animals, Batteries, Flammable Materials, Farm Feeds, Currency, Food, Furs, Chemicals, Explosives, Medications, Plants, Poinsons, Seeds, Supplements, Nutrients, Pressurized Cans, Tactical Equipment, Vitamins, Weaponry and Weaponry Accessories. In these cases, information displayed above is for reference/informational purposes only and the item will not be imported. All content is generated and displayed from an automated USA product feed, and if the item cannot be imported for any reason, including carrier restrictions and/or import or sales restrictions under South African or American law, we do reserve the right to cancel and refund the order in full. If you are not sure if we are permitted to bring in an item, please send us an e-mail with a link to the item to confirm.

Please also ensure that you are ordering the correct item for your particular application as returns to the USA are costly. Product reviews are also provided for most of our items, which can give you a good idea for possible things to look out for and the quality of the item. By clicking Add to Cart, you are confirming that the item is correct and you accept the conditions listed here.