Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Automated Reasoning Ulrich Furbach

Automated Reasoning

Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Autor: Ulrich Furbach, Natarajan Shankar
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
99.88 €
Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2...

Informácie o knihe

Autor
Ulrich Furbach, Natarajan Shankar
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2006
Stránok
688
EAN
9783540371878
ISBN
3540371877
Enbook ID
01562445
Vydavateľ
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnosť
2140
Rozmery
152 x 229 x 38

Kompletný popis

Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.

Mohlo by vás zaujímať

Computer Performance Engineering

Nigel Thomas
50.13 €

Natural Disaster Management in the Asia-Pacific

Caroline Brassard
99.88 €

Honor

Kristen Proby
7.64 €

Faster

Adam Rapp
12.65 €

Blacker the Berry

Wallace Thurman
8.63 €

Ryan Trecartin

Linda Norden
52.58 €

Two Truths and a Lie

Scott Turner Schofield
17.36 €

Environmental UV Radiation: Impact on Ecosystems and Human Health and Predictive Models

Francesco Ghetti
99.88 €

Privacy and Health Care

James M. Humber
107.24 €

Dynamical Systems with Applications using Maple (TM)

Stephen Lynch
88.01 €

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Spieltheorie fur Dummies

Erwin Amann
14.32 €

Velké logopedické pexeso 2

Ilona Eichlerová
6.04 €

Strafrechtliche und strafprozessuale Abhandlungen. Bd.1

Karl Binding
136.77 €

Mirai Nikki 06

Sakae Esuno
10.39 €

Wheatgrass: (Hierba de Trigo)

Neil Stevens
9.90 €

Guia Practica del Rolex Vintage

Colin A. Whte
40.51 €