Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Automated Reasoning

Name: Automated Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562445
Price: 97.04 EUR
Availability: InStock
Author: Ulrich Furbach
ISBN: 9783540371878

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

Ulrich Furbach

Natarajan Shankar

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01562445

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, avgust 2006

Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2... Celoten opis

Koda Libristo: 01562445

236 b

97.04 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Spieltheorie fur Dummies Erwin Amann

Mehka

14.70 €

Velké logopedické pexeso 2 Ilona Eichlerová

Mehka

5.73 €

Strafrechtliche und strafprozessuale Abhandlungen. Bd.1 Karl Binding

Mehka

150.46 €

Mirai Nikki 06 Sakae Esuno

Mehka

9.67 €

Wheatgrass: (Hierba de Trigo) Neil Stevens

Mehka

9.26 €

Guia Practica del Rolex Vintage Colin A. Whte

Mehka

41.61 €

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.