Kniha Automated Reasoning Ulrich Furbach

Automated Reasoning

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

Jazyk: Angličtina
Väzba: Brožovaná
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

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2006
Stránok
688
EAN
9783540371878
ISBN
3540371877
Enbook ID
01562445
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ť

50.13

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
107.24

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

14.32
6.04

Mirai Nikki 06

Sakae Esuno
10.39
9.90
40.51