Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Automated Deduction ? CADE-12

Alan Bundy

Limba

engleză

Carte Carte broșată

Codul Libristo: 12608737

Editura Springer Berlin Heidelberg, iunie 1994

This volume contains the reviewed papers presented at the 12th International Conference on Automated... Descrierea completă

Codul Libristo: 12608737

132 b

285.34 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Aslan Kral Degildir; Kral Olan Aslanlardir sükrullah Dolu

Carte broșată

61.78 lei

La Peste Ecarlate LONDON-J

Carte broșată

116.71 lei

Hecho En Saturno Rita Indiana

Carte broșată

89.04 lei

TRIZ i ARIZ Pawel Astaf'ew

Carte broșată

178.30 lei

Száguldó szerelem Carly Robyn

Copertă tare

55.23 lei

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.