Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings - Lecture Notes in Computer Science - Nikolaj Bjorner - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642224379 - July 12, 2011
In case cover and title do not match, the title is correct

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings - Lecture Notes in Computer Science 2011 edition

Nikolaj Bjorner

Price
CA$ 92.49
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 4 - 17
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

521 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 12, 2011
ISBN13 9783642224379
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 508
Dimensions 155 × 235 × 28 mm   ·   816 g
Language French  
Editor Bjorner, Nikolaj
Editor Sofronie-Stokkermans, Viorica
Show all

More by Nikolaj Bjorner

See all of Nikolaj Bjorner ( e.g. Paperback Book )