Atrás

SKU/Artículo: AMZ-0792351304

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 9)

Format:

Hardcover

Paperback

Detalles del producto

Disponibilidad:
En stock

Peso con empaque:
0.81 kg

Devolución:
Sí

Condición
Nuevo

Producto de:
Amazon

Viaja desde
USA

Sobre este producto

1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us. Interaction typi cally is needed, for example, to direct and control the reasoning, to speculate or generalize strategic lemmas, and sometimes simply because the conjec ture to be proved does not hold. In software verification, for example, correct versions of specifications and programs typically are obtained only after a number of failed proof attempts and subsequent error corrections. Different interactive theorem provers may actually look quite different: They may support different logics (first-or higher-order, logics of programs, type theory etc.), may be generic or special-purpose tools, or may be tar geted to different applications. Nevertheless, they share common concepts and paradigms (e.g. architectural design, tactics, tactical reasoning etc.). The aim of this chapter is to describe the common concepts, design principles, and basic requirements of interactive theorem provers, and to explore the band width of variations. Having a 'person in the loop', strongly influences the design of the proof tool: proofs must remain comprehensible, - proof rules must be high-level and human-oriented, - persistent proof presentation and visualization becomes very important.

AR$843.327

55% OFF

AR$383.329

AR$843.327

55% OFF

AR$383.329

Llega en 12 a 18 días hábiles

Tienes garantía de entrega

Medios de pago

Cantidad

Este producto viaja de USA

a tus manos en

Medios de pago

Conoce más detalles

Used Book in Good Condition

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 9)

Conoce más detalles

Automated Transit: Planning, Operation, and Applications (IEEE Press Series on Systems Science and Engineering)

Law and Artificial Intelligence: Regulating AI and Applying AI in Legal Practice (Information Technology and Law Series, 35)

Combatting the Code

Understanding and Applying Machine Vision, Revised and Expanded (Manufacturing, Engineering and Materials Processing)

Cheese Interactive, Electronic Cat Toy Peek-A-Boo Mouse Hunt Game Hide and Seek for Bored and Anxious Cats Kitten Teaser Toy Automated Cat Toy for Cat Enrichment and Exercise

DJI RS 3 Pro, 3-Axis Gimbal for DSLR and Cameras Canon/Sony/Panasonic/Nikon/Fujifilm/BMPCC, Automated Axis Locks, 4.5 kg (10lbs) Payload, LiDAR Focus Camera Stabilizer

Automated Cat Feeder,Clear 4.2L Dry Food Dispenser with Single Bowl,Programmable Timed Pet Feeder for Up to 6 Daily Meals,10-Second Voice Message & Dual Power Backup (Black, 4.2L Press Version)

EverBrite LED Motion Sensor Night Light, Automated On & Off, Cool White Motion Activated LED Night Light for Kitchen, Bathroom, Stairs, Bedroom - with 18 AAA Batteries, 6-Pack

Pacific Blue Ultra 8" High-Capacity Automated Touchless Paper Towel Dispenser by GP PRO (Georgia-Pacific); Black; 59590; 12.9" W x 9" D x 16" H; 1 Dispenser

TOPGREENER Humidity Sensor Switch for Ventilation Fan, Air Moisture Detection, Bathroom Fan Automated Control, Neutral Wire Required, UL Listed, TDHS5-N, White

North Spore Automated 'Boomr Bin' Mushroom Monotub Kit

Ahopegarden Indoor Hydroponics Growing System: 10-Pod Smart Garden with Automated LED Light & Efficient Pump for Growing Herbs, Lettuce, Tomatoes - Hydroponic Planter for Home

North Spore Boomr Bin Monotub Automated Tech Kit

The Roadmap to Financial Freedom: A Millionaire's Guide to Building Automated Wealth

Rubbermaid Commercial Products Microburst Automated Odor-Controlling Aerosol Air Care System, MB9000 Dispenser, Chrome, for Restaurants/Hotels/Schools/Airports/Offices

iVAC Automated Switch Box (SB-NA)

Información útil

Centro de ayuda

Todo en un solo lugar

Comprá con tranquilidad

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 9)

Conoce más detalles

Productos Relacionados

Automated Transit: Planning, Operation, and Applications (IEEE Press Series on Systems Science and Engineering)

Law and Artificial Intelligence: Regulating AI and Applying AI in Legal Practice (Information Technology and Law Series, 35)

Combatting the Code

Understanding and Applying Machine Vision, Revised and Expanded (Manufacturing, Engineering and Materials Processing)

Otros Productos

Cheese Interactive, Electronic Cat Toy Peek-A-Boo Mouse Hunt Game Hide and Seek for Bored and Anxious Cats Kitten Teaser Toy Automated Cat Toy for Cat Enrichment and Exercise

DJI RS 3 Pro, 3-Axis Gimbal for DSLR and Cameras Canon/Sony/Panasonic/Nikon/Fujifilm/BMPCC, Automated Axis Locks, 4.5 kg (10lbs) Payload, LiDAR Focus Camera Stabilizer

Automated Cat Feeder,Clear 4.2L Dry Food Dispenser with Single Bowl,Programmable Timed Pet Feeder for Up to 6 Daily Meals,10-Second Voice Message & Dual Power Backup (Black, 4.2L Press Version)

EverBrite LED Motion Sensor Night Light, Automated On & Off, Cool White Motion Activated LED Night Light for Kitchen, Bathroom, Stairs, Bedroom - with 18 AAA Batteries, 6-Pack

Pacific Blue Ultra 8" High-Capacity Automated Touchless Paper Towel Dispenser by GP PRO (Georgia-Pacific); Black; 59590; 12.9" W x 9" D x 16" H; 1 Dispenser

TOPGREENER Humidity Sensor Switch for Ventilation Fan, Air Moisture Detection, Bathroom Fan Automated Control, Neutral Wire Required, UL Listed, TDHS5-N, White

North Spore Automated 'Boomr Bin' Mushroom Monotub Kit

Ahopegarden Indoor Hydroponics Growing System: 10-Pod Smart Garden with Automated LED Light & Efficient Pump for Growing Herbs, Lettuce, Tomatoes - Hydroponic Planter for Home

North Spore Boomr Bin Monotub Automated Tech Kit

The Roadmap to Financial Freedom: A Millionaire's Guide to Building Automated Wealth

Rubbermaid Commercial Products Microburst Automated Odor-Controlling Aerosol Air Care System, MB9000 Dispenser, Chrome, for Restaurants/Hotels/Schools/Airports/Offices

iVAC Automated Switch Box (SB-NA)

Compra protegida

¿Cómo comprar?

Condiciones según método de envío

Correo privado:

Correo Argentino:

¡Aseguramos la entrega de tu orden!

¿Cómo solicitar una devolución?

Tarjetas de Crédito y Débito

Pagos a través de PayPal

Pagos a través de MODO

¡Elegí entre pagar en pesos o en dólares!

¿Cómo comprar?

Hacemos todo por ti

Tarjetas de Crédito y Débito

Pagos a través de PayPal

Pagos a través de MODO y Mercado Pago

Tienes garantía de entrega

¡Suscribite y hacé que todo llegue con ofertas!