Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Automated Deduction -- CADE-23

Automated Deduction -- CADE-23

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642224379
Condition
New
Product Description

This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wrocaw, 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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Wahrscheinlichkeitsrechnung und Induktive Statistik

$29.99

Dear America: The Fences Between Us

$7.46

Integrated Environmental Modelling: Design and Tools

$39.99

Strafrecht Besonderer Teil 1

$29.99

Building a Solidarity Society

$109.00

Funktions- und Reglersynthese auf der Basis lokaler Modellnetze

$49.99

Origin and Early Evolution of Comet Nuclei

$129.00

Life the Human Being between Life and Death

$169.99

Once Upon a Memory

$5.21

Recent Advances in Parallel Virtual Machine and Message Passing Interface

$54.99

Where We Go From Here (Hardcover)

$14.24

Freiwilliges Engagement in Deutschland. Freiwilligensurvey 1999

$69.99

Global Justice and Development

$54.99

Dynamic Bronchoscopy

$84.99

Forensic Pathology of Trauma

$329.99

Fermat's Last Theorem

$69.99

Law as Passion

$179.99

Das Wesen der Naturerkenntnis

$49.99

Der Prozess als Rechtslage

$44.99

Challenges and Paths to Global Justice

$54.99

Seminar ber Vorsorgeuntersuchungen bei Suglingen und Kleinkindern

$64.99

Confidentiality and Integrity in Crowdsourcing Systems

$39.99

Mathematical Modelling of Complex Patterns Through Fractals and Dynamical Systems

$199.99

Games Without Frontiers?

$32.99

The Geography of Competition

$129.00

Radio Systems Engineering

$109.99

An Introduction to Well Control Calculations for Drilling Operations

$179.99

Disrupting Thinking (10-copy pack)

$262.40

Digital Economy. Emerging Technologies and Business Innovation

$119.99

Der Felsendom und die Wallfahrt nach Jerusalem

$49.99

Handbuch Kraftfahrzeugelektronik

$89.00

Progress in Industrial Mathematics at ECMI 96

$29.99

The Bolsonaro Paradox

$139.99

Algebraic Theory of Quasivarieties

$169.99

Grab and Go Pack Theme 3: Culturally Responsive Literacy Grade 2

$29.95

Modeling for Decision Support in Network-Based Services

$39.99

Copyright and Popular Media

$54.99

New Efficiency Theory

$109.99

Histochemie

$84.99

My Books Summer & Summer Express Workbook Grade 2 Fiction/Nonfiction 10-Book Bundle

$53.95