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

Towards Functional Safety in Drive-by-Wire Vehicles

$109.99

Sustainable Innovation

$14.99

The Future of Political Violence

$169.99

Recent Developments in Alcoholism

$219.99

Die Aufzucht der Frhgeborenen und Lebensschwachen Kinder

$54.99

Quantum Dynamic Imaging

$109.99

Engineering Psychology and Cognitive Ergonomics. Applications and Services

$54.99

Brazilian Studies in Philosophy and History of Science

$84.99

Electronic Commerce und Online-Marketing

$39.99

Intelligence and Security Informatics

$39.99

Vom Potenzial zur Ressource

$49.99

Internationale Klassifizierung der medizinischen Primrversorgung ICPC-2

$74.99

The Normal Distribution

$109.99

Practical Python AI Projects

$39.99

Statistical Data Analysis Based on the L1-Norm and Related Methods

$39.99

Calcium, Neuronal Function and Transmitter Release

$169.00

Qualifizierte Neukundengewinnung im Firmenkundengeschft

$49.99

The Evolution of UN Sanctions

$119.00

Unmanned Aircraft Design

$32.99

Neuroleadership im Changemanagement

$64.99

Industriebetriebslehre, kurzgefat

$59.99

Applications of Behavior Analysis in Healthcare and Beyond

$129.99

Innovationen im Handel

$59.99

Supercritical Fluid Methods and Protocols

$84.99

Discretionary Managerial Behavior

$84.99

Free Radicals and Aging

$39.99

Analysis of Infectious Disease Problems (Covid-19) and Their Global Impact

$159.99

Data Mining in Crystallography

$219.99

Read and Rise Family Participant Kit: Spanish Ages 0-2/Infants and Toddlers (10-Pack)

$169.95

Ocean Processes in Climate Dynamics

$329.99

Wisdom, Well-Being, Win-Win

$119.00

Orwell's Politics

$109.99

Prozekostenrechnung in der Industrie

$44.99

Medienunternehmen im digitalen Zeitalter

$69.99

The Persian Gulf in History

$99.99

Structure and Bonding

$39.99

International Symposium on Gravity, Geoid and Height Systems 2016

$129.00

Rassismuserfahrungen von Schler*innen

$54.99

Wohngebudeerneuerung

$99.00

The Biology of Fungi

$54.99