Carte Automated Reasoning Ulrich Furbach

Automated Reasoning

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

Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
551.82 lei
Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2006
Pagini
688
EAN
9783540371878
ISBN
3540371877
Enbook ID
01562445
Greutate
2140
Dimensiuni
152 x 229 x 38

Descriere completă

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.

S-ar putea să te intereseze

276.66 lei

Honor

Kristen Proby
45.58 lei

Faster

Adam Rapp
72.92 lei

Blacker the Berry

Wallace Thurman
49.31 lei

Ryan Trecartin

Linda Norden
275.15 lei

Two Truths and a Lie

Scott Turner Schofield
90.77 lei
582.08 lei

Clienții care au cumpărat această carte au mai cumpărat și

85.02 lei
33.17 lei

Mirai Nikki 06

Sakae Esuno
55.06 lei
52.34 lei
234.40 lei