Let us wish you a happy birthday!
Date of Birth
Please fill in a complete birthday Enter a valid birthday
×
Knowledge Processing and Data Analysis: First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007, and First International by Karl Erich Wolff, Dmitry E. Palchunov, Nikolay G. Zagoruiko - Paperback
385.10 AED

Knowledge Processing and Data Analysis: First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007, and First International by Karl Erich Wolff, Dmitry E. Palchunov, Nikolay G. Zagoruiko - Paperback

Be the first to rate this product 

385.10 AED 

  - You Save -385.10 AED
All prices include VAT  Details
Category Type
Information Technology
ISBN
9783642221392
Author
Karl Erich Wolff, Dmitry E. Palchunov, Nikolay G. Zagoruiko
Publisher
Springer
Description:

This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of ...

Ships From United States
Ship to Dubai (Change city)
Delivered within Sunday, Sep 2 - Tuesday, Sep 4 to Dubai

Condition:
New
Sold by:
InternationalBookStore (87% Positive Rating)

PRODUCT INFORMATION

  •  

    Specifications

    Category Type
    Information Technology
    ISBN
    9783642221392
    Languages
    English
    Item EAN
    2724437217371
    People
    Author
    Karl Erich Wolff, Dmitry E. Palchunov, Nikolay G. Zagoruiko
    Category Type
    Information Technology
    ISBN
    9783642221392
    Languages
    English
    Item EAN
    2724437217371
    People
    Author
    Karl Erich Wolff, Dmitry E. Palchunov, Nikolay G. Zagoruiko
    People
    Publisher
    Springer
    Technical Information
    Binding
    Paperback
    Languages and countries
    Book Language
    English
    Read more
  •  

    Description:

    This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully

    This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering.

    Product Features:
    • Category: Information Technology
    • Binding: Paperback
    • Language of Text: English
    • Author(s): Kai Brunnler, George Metcalfe
    • Publisher: Springer
    • ISBN: 9783642221187
    • Number of Pages: 277
    • Dimensions: 9.3 x 6.1 x 0.7 inches
 

Customer Reviews

0
No ratings yet
Be the first to rate this product
Rate this product:

Sponsored products for you

×

Please verify your mobile number to complete your checkout

We will send you an SMS containing a verification code. Please double check your mobile number and click on "Send Verification Code".

+ Edit