Let us wish you a happy birthday!
Date of Birth
Please fill in a complete birthday Enter a valid birthday
×
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings by Nikolaj Bjorner, Viorica Sofronie-Stokkermans - Paperback
495.97 AED

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings by Nikolaj Bjorner, Viorica Sofronie-Stokkermans - Paperback

Be the first to rate this product 

495.97 AED 

  - You Save -495.97 AED
All prices include VAT  Details
Category Type
Information Technology
ISBN
9783642224379
Author
Nikolaj Bjorner, Viorica Sofronie-Stokkermans
Publisher
Springer
Description:

This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroc aw, Poland, in July/August 2011. The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, four invited lectures by distinguished experts in the area were included. Among the topics ...

Ships From United States
Ship to Dubai (Change city)
Delivered within Wednesday, May 9 - Friday, May 11 to Dubai

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

PRODUCT INFORMATION

  •  

    Specifications

    Category Type
    Information Technology
    ISBN
    9783642224379
    Languages
    English
    Item EAN
    2724437217944
    People
    Author
    Nikolaj Bjorner, Viorica Sofronie-Stokkermans
    Category Type
    Information Technology
    ISBN
    9783642224379
    Languages
    English
    Item EAN
    2724437217944
    People
    Author
    Nikolaj Bjorner, Viorica Sofronie-Stokkermans
    People
    Publisher
    Springer
    Technical Information
    Binding
    Paperback
    Languages and countries
    Book Language
    English
    Read more
  •  

    Description:

    This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroc aw, Poland, in July/August 2011.
    The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore,

    This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroc aw, Poland, in July/August 2011.
    The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, four invited lectures by distinguished experts in the area were included. Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc.

    Product Features:
    • Category: Information Technology
    • Binding: Paperback
    • Language of Text: English
    • Author(s): Nikolaj Bjorner, Viorica Sofronie-Stokkermans
    • Publisher: Springer
    • ISBN: 9783642224379
    • Number of Pages: 508
    • Dimensions: 9.2 x 6.1 x 1.1 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