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.

Semantics of Digital Circuits

Name: Semantics of Digital Circuits
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01558476
Price: 125.5 RON
Availability: InStock
Author: Carlos Delgado Kloos
ISBN: 9783540185406

Carlos Delgado Kloos

Limba

engleză

Carte Carte broșată

Codul Libristo: 01558476

Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

This volume contains the papers presented at the Ninth International Conference on Automated Deducti... Descrierea completă

Codul Libristo: 01558476

58 b

125.50 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Winterfunkeln Mary Kay Andrews

Carte broșată

62.02 lei

Democracia e politica educacional no Governo Lula Germann Paulo Roberto De Souza Germann

Carte broșată

233.43 lei

This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place during the summer of 1963. The CADE conferences are a forum for reporting on research on all aspects of automated deduction, including theorem proving, logic programming, unification, deductive databases, term rewriting, ATP for non-standard logics, and program verification. All papers submitted to the conference were refereed by at least two referees, and the program committee accepted the 52 that appear here. Also included in this volume are abstracts of 21 implementations of automated deduction systems.