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 Deduction ? CADE-12

Alan Bundy

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 12608737

Založba Springer Berlin Heidelberg, junij 1994

This volume contains the reviewed papers presented at the 12th International Conference on Automated... Celoten opis

Koda Libristo: 12608737

118 b

48.73 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Aslan Kral Degildir; Kral Olan Aslanlardir sükrullah Dolu

Mehka

10.59 €

La Peste Ecarlate LONDON-J

Mehka

20.17 €

Hecho En Saturno Rita Indiana

Mehka

14.72 €

TRIZ i ARIZ Pawel Astaf'ew

Mehka

30.16 €

Száguldó szerelem Carly Robyn

Trda

9.27 €

This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994. The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, AC unification, higher-order theorem proving, natural systems, problem sets, and system descriptions.