You need to sign in or sign up before continuing.

Editions

Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, Tpcd '94, Bad Herrenalb, Germany, September 26-28

Current edition
Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, Tpcd '94, Bad Herrenalb, Germany, September 26-28 by

Lecture Notes in Computer Science

Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, Tpcd '94, Bad Herrenalb, Germany, September 26-28

312 pages

nonfiction computer science mathematics medium-paced
Other editions (0)