Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka 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
Język: Angielski
Oprawa: Miękka
Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostępność: Dostępna u dostawcy w małych ilościach
Wysyłamy za 11-15 dni
472.40 zł
Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2...

Informacje o książce

Autor
Ulrich Furbach, Natarajan Shankar
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2006
strony
688
EAN
9783540371878
ISBN
3540371877
Enbook ID
01562445
Wydawca
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga
2140
Wymiary
152 x 229 x 38

Pełny opis

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.

Możesz być zainteresowany

Computer Performance Engineering

Nigel Thomas
241.03 zł

Natural Disaster Management in the Asia-Pacific

Caroline Brassard
472.40 zł

Honor

Kristen Proby
34.76 zł

Faster

Adam Rapp
56.44 zł

Blacker the Berry

Wallace Thurman
38.37 zł

Ryan Trecartin

Linda Norden
223.35 zł

Two Truths and a Lie

Scott Turner Schofield
69.92 zł

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

Francesco Ghetti
472.40 zł

Privacy and Health Care

James M. Humber
472.40 zł

Dynamical Systems with Applications using Maple (TM)

Stephen Lynch
388.31 zł

Klienci, którzy kupili tę książkę, kupili również

Spieltheorie fur Dummies

Erwin Amann
65.13 zł

Velké logopedické pexeso 2

Ilona Eichlerová
26.95 zł

Strafrechtliche und strafprozessuale Abhandlungen. Bd.1

Karl Binding
660.40 zł

Mirai Nikki 06

Sakae Esuno
44.62 zł

Wheatgrass: (Hierba de Trigo)

Neil Stevens
42.47 zł

Guia Practica del Rolex Vintage

Colin A. Whte
181.36 zł