Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Semantics of Digital Circuits

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

Carlos Delgado Kloos

Język

Angielski

Książka Miękka

Kod Libristo: 01558476

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

This volume contains the papers presented at the Ninth International Conference on Automated Deducti... Cały opis

Kod Libristo: 01558476

58 b

102.58 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Winterfunkeln Mary Kay Andrews

Miękka

50.62 zł

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

Miękka

190.75 zł

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.