Menu
Află starea comenzii
Contactați-ne
Carte 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
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
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

Autor
Ulrich Furbach, Natarajan Shankar
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2006
Pagini
688
EAN
9783540371878
ISBN
3540371877
Enbook ID
01562445
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
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

Computer Performance Engineering

Nigel Thomas
276.66 lei

Natural Disaster Management in the Asia-Pacific

Caroline Brassard
551.82 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

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

Francesco Ghetti
551.82 lei

Privacy and Health Care

James M. Humber
582.08 lei

Dynamical Systems with Applications using Maple (TM)

Stephen Lynch
478.49 lei

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

Spieltheorie fur Dummies

Erwin Amann
85.02 lei

Velké logopedické pexeso 2

Ilona Eichlerová
33.17 lei

Strafrechtliche und strafprozessuale Abhandlungen. Bd.1

Karl Binding
756.38 lei

Mirai Nikki 06

Sakae Esuno
55.06 lei

Wheatgrass: (Hierba de Trigo)

Neil Stevens
52.34 lei

Guia Practica del Rolex Vintage

Colin A. Whte
234.40 lei